PROOF SYSTEMS FOR EXACT ENTAILMENT

DOI10.1017/S175502032200020XMaRDI QIDQ6148475zbMATH OpenOpenAlexWikidataFDO

Authors Johannes Korbmacher

Publication date 11 January 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

exact entailmentHilbert calculusproof theorysequent calculustruthmakers

Mathematics Subject Classification ID

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

Cites work

• A difficulty for the possible worlds analysis of counterfactuals
• A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus
• A theory of truthmaker content. I: Conjunction, disjunction and negation
• A theory of truthmaker content. II: Subject-matter, common content, remainder and ground
• An exact truthmaker semantics for permission and obligation
• Angellic content
• Belnap's Four-Valued Logic and De Morgan Lattices
• COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS
• Compliance and command. I: Categorical imperatives
• Exact truthmaking as inexact truthmaking by minimal totality facts
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• Hyperintensional logic
• Logic for exact entailment
• On the logic of factual equivalence
• Routley star and hyperintensionality
• Truthmaker semantics for relevant logic
• Truthmakers and normative conflicts

Cited in

(1)

• Logics of truthmaker semantics: comparison, compactness and decidability

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6148475)