BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Matthias Baaz
SearchCollections
Map detail
Matthias Baaz6 visible / 6 total nodes / 5 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMatthias BaazAMatthias BaazResearcherCharacterization of the Axiomatizable Prenex Fragments of First-Order Goedel LogicsWCharacterization of the...preprint / 2003Approximating Propositional Calculi by Finite-valued LogicsWApproximating Propositi...preprint / 2002First-Order Interpolation Derived from Propositional InterpolationWFirst-Order Interpolati...preprint / 2020First-order Goedel logicsWFirst-order Goedel logicspreprint / 2006Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiabilityWTheorem proving for pre...preprint / 2012
Person5 links

Matthias Baaz

Researcher

PaperCharacterization of the Axiomatizable Prenex Fragments of First-Order Goedel LogicsAuthorship / preprint / 2003PaperApproximating Propositional Calculi by Finite-valued LogicsAuthorship / preprint / 2002PaperFirst-Order Interpolation Derived from Propositional InterpolationAuthorship / preprint / 2020PaperFirst-order Goedel logicsAuthorship / preprint / 2006PaperTheorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiabilityAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)