PROOF SYSTEMS FOR EXACT ENTAILMENT

DOI10.1017/s175502032200020xOpenAlexW4280534101WikidataQ113857263 ScholiaQ113857263MaRDI QIDQ6148475

Johannes Korbmacher

Publication date: 11 January 2024

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502032200020x

zbMATH Keywords

sequent calculusproof theorytruthmakersHilbert calculusexact entailment

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Unnamed Item
• Angellic content
• Routley star and hyperintensionality
• Hyperintensional logic
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• Exact truthmaking as inexact truthmaking by minimal totality facts
• Truthmaker semantics for relevant logic
• Truthmakers and normative conflicts
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• A difficulty for the possible worlds analysis of counterfactuals
• ON THE LOGIC OF FACTUAL EQUIVALENCE
• A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
• Belnap's Four-Valued Logic and De Morgan Lattices
• COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES
• COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS
• LOGIC FOR EXACT ENTAILMENT

This page was built for publication: PROOF SYSTEMS FOR EXACT ENTAILMENT