A note on strong axiomatization of Gödel justification logic

DOI10.1007/s11225-019-09871-4zbMath1461.03023arXiv1809.09608OpenAlexW2965030146MaRDI QIDQ2193971

Nicholas Pischke

Publication date: 25 August 2020

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.09608

zbMATH Keywords

Gödel logicjustification logicstrong completeness

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (2)

Quantitative analysis of a subgradient-type method for equilibrium problems ⋮ On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of uncertain justifications
• The logic of proofs, semantically
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• Standard Gödel modal logics
• Metamathematics of fuzzy logic
• Triangular norms
• Distributed knowledge justification logics
• First-order Gödel logics
• Explicit Provability and Constructive Semantics
• On modal extensions of Product fuzzy logic
• A propositional calculus with denumerable matrix
• THE LOGIC OF JUSTIFICATION
• Pavelka-style fuzzy justification logics
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• Probabilistic Justification Logic
• Fuzzy sets
• Logic with truth values in A linearly ordered heyting algebra

This page was built for publication: A note on strong axiomatization of Gödel justification logic