Cover Image

Apartness relations between propositions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kocsis, Zoltan A.
Format:	Preprint
Published:	2022
Subjects:	Logic Logic in Computer Science 03B20 (Primary) 03B38, 06D20 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)

Degree of Satisfiability in Heyting Algebras
by: Bumpus, Benjamin Merlin, et al.
Published: (2021)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Coexact completion of profinite Heyting algebras and uniform interpolation
by: Ye, Lingyuan
Published: (2026)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)

On the Contingency of Logic in Possible World Semantics
by: van der Giessen, Iris, et al.
Published: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

The most natural paradefinite logic relative to classical logic
by: Middelburg, C. A.
Published: (2026)

The structure of rough sets defined by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2024)

Kleene and Stone algebras of rough sets induced by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2026)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

The interdefinability of expansions of Belnap-Dunn logic
by: Middelburg, C. A.
Published: (2024)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
by: Ayhan, Sara
Published: (2023)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
by: Farmer, William M., et al.
Published: (2023)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
by: Gallardo, Andrés, et al.
Published: (2024)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

A note on the theory of well orders
by: Jeřábek, Emil
Published: (2024)

A Linear-Size Block-Partition Fibonacci Encoding for Gödel Numbering
by: Sóstai, Zoltán
Published: (2026)

Colimits of Heyting Algebras through Esakia Duality
by: Almeida, Rodrigo Nicolau
Published: (2024)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Game semantics for the constructive $μ$-calculus
by: Pacheco, Leonardo
Published: (2023)

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)