Image de couverture de livre

Reconciliation of Approaches to the Semantics of Logics without Distribution

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Hartonas, Chrysafis
Format:	Preprint
Publié:	2021
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Distribution-Free Normal Modal Logics
par: Hartonas, Chrysafis
Publié: (2024)

A General (Uniform) Relational Semantics for Sentential Logics
par: Hartonas, Chrysafis
Publié: (2025)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
par: Chrysafis, et autres
Publié: (2025)

A Characterization Result for Non-Distributive Logics
par: Chrysafis, et autres
Publié: (2020)

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator
par: Hartonas, Chrysafis
Publié: (2023)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
par: Hartonas, Chrysafis
Publié: (2021)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Normalisation for Negative Free Logics without and with Definite Descriptions
par: Kürbis, Nils
Publié: (2024)

Classical Logic without Bivalance
par: Gheorghiu, Alexander V.
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

Base-extension Semantics for Intuitionistic Modal Logics
par: Buzoku, Yll, et autres
Publié: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Semantical Analysis of Intuitionistic Modal Logics between CK and IK
par: de Groot, Jim, et autres
Publié: (2024)

Polytopological Semantics for Intuitionistic Modal Logics
par: Aguilera, Juan P., et autres
Publié: (2026)

On an Inferential Semantics for Intuitionistic Sentential Logic
par: Gheorghiu, Alexander V.
Publié: (2025)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Base-extension Semantics for S5 Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
par: Barroso-Nascimento, Victor, et autres
Publié: (2025)

Undecidability of Linear Logics without Weakening
par: Suzuki, Jun, et autres
Publié: (2025)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
par: Jana, Purbita, et autres
Publié: (2025)

Inferentialist Public Announcement Logic: Base-extension Semantics
par: Eckhardt, Timo, et autres
Publié: (2024)

Hypergraph Semantics for Doxastic Logics
par: van Ditmarsch, Hans, et autres
Publié: (2025)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
par: Kojima, Ryota, et autres
Publié: (2025)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
par: Liang, Xiaolong, et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Agent-Knowledge Logic for Alternative Epistemic Logic
par: Nishimura, Yuki
Publié: (2024)

Owicki--Gries Logic for Timestamp Semantics
par: Abe, Tatsuya
Publié: (2025)

Synchronous Team Semantics for Temporal Logics
par: Krebs, Andreas, et autres
Publié: (2024)

Logic of the Great, Logic of the Wise 2
par: Fedorchenko, Mikhail
Publié: (2026)

Algebraic Semantics for the Logic of Proofs
par: Parsa, Amir Farahmand, et autres
Publié: (2021)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
par: Marin, Sonia, et autres
Publié: (2025)

Distributed First Order Logic
par: Ghidini, Chiara, et autres
Publié: (2015)

Logic of (Common or Distributed) Knowledge
par: Shi, Chenwei
Publié: (2025)

A Categorical Semantics for Linear Logical Frameworks
par: Vákár, Matthijs
Publié: (2015)

Skolemization In Intermediate Logics
par: Baaz, Matthias, et autres
Publié: (2025)