On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs

DOI10.1007/S11225-022-10033-2OpenAlexW4318618651MaRDI QIDQ6115850

Meghdad Ghari, Amir Farahmand Parsa

Publication date: 10 August 2023

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

Full work available at URL: https://doi.org/10.1007/s11225-022-10033-2

zbMATH Keywords

representation theoremcompletenessalgebraic semanticslogic of proofs

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal logics, justification logics, and realization
• Labeled sequent calculus for justification logics
• Realization for justification logics via nested sequents: modularity through embedding
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• Logic and argumentation. Third international conference, CLAR 2020, Hangzhou, China, April 6--9, 2020. Proceedings
• A note on strong axiomatization of Gödel justification logic
• Subset models for justification logic
• Proof theory and algebra in logic
• Explicit Provability and Constructive Semantics
• Evidence Reconstruction of Epistemic Modal Logic S5
• Pavelka-style fuzzy justification logics
• Propositional Games with Explicit Strategies
• A hyperintensional logical framework for deontic reasons
• Tracking reasons with extensions of relevant logics
• Semirings of Evidence
• Gödel justification logics and realization
• Justification Logic
• On intermediate justification logics

This page was built for publication: On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs