Buchumschlag

Tense logics based on posets

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chajda, Ivan, Länger, Helmut, Ledda, Antonio, Paseka, Jan, Vergottini, Gandolfo
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03B44, 03G12, 03G25, 06A11, 08A55
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Derived operators on skew orthomodular and strong skew orthomodular posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2025)

Adjointness of generalized Sasaki operations in posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Quantales carrying ortholattice structure
von: Botur, Michal, et al.
Veröffentlicht: (2026)

Clones of Borel Boolean Functions
von: Chen, Ruiyuan, et al.
Veröffentlicht: (2024)

Cohen-like first order structures
von: Kostana, Ziemowit
Veröffentlicht: (2020)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

Diagrams of opposition: an algebraic viewpoint
von: Wu, Chai Wah
Veröffentlicht: (2024)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
von: Coquand, Thierry, et al.
Veröffentlicht: (2017)

Normal forms and representable functions in Moisil logic
von: Sipos, Andrei
Veröffentlicht: (2023)

The prime spectrum of an $L$-algebra
von: Rump, W., et al.
Veröffentlicht: (2022)

Models for the common knowledge logic
von: Tanaka, Yoshihito
Veröffentlicht: (2024)

How to take cats together
von: Carollo, Imanol Mozo
Veröffentlicht: (2024)

Generalization of terms via universal algebra
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2025)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Higher stationarity and derived topologies on $\mathcal{P}_κ(A)$
von: Torres, M. Catalina
Veröffentlicht: (2024)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
von: Koshkin, Sergiy
Veröffentlicht: (2024)

Sub-sub-intuitionistic logic
von: Deakin, Jonte, et al.
Veröffentlicht: (2024)

Minimal Axiomatization of Boolean Algebras
von: Zhang, Eugene
Veröffentlicht: (2023)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2024)

Ivanova contact join-semilattices are not finitely axiomatizable
von: Lipparini, Paolo
Veröffentlicht: (2023)

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

Categorical Equivalence Between Finitary Orthomodular Dynamic Algebras and Orthomodular Lattices
von: Putra, Juanda Kelana, et al.
Veröffentlicht: (2026)

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Absoluteness of the Riemann integral
von: Parra-Londoño, Carlos M., et al.
Veröffentlicht: (2025)

On orthoposets of numerical events in quantum logic
von: Dorninger, Dietmar, et al.
Veröffentlicht: (2026)

Consistent ultrafinitist logic
von: Gajda, Michał J.
Veröffentlicht: (2021)

Subresiduated Nelson Algebras
von: Lubomirsky, Noemí, et al.
Veröffentlicht: (2024)

Is Peirce's reduction thesis gerrymandered?
von: Koshkin, Sergiy
Veröffentlicht: (2024)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
von: Lin, Chun-Yu, et al.
Veröffentlicht: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Craig Interpolation for Subgeometric Logics
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2026)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

Two-cardinal derived topologies, indescribability and Ramseyness
von: Cody, Brent, et al.
Veröffentlicht: (2023)

A $j$-translation with Kripke forcing relation
von: Nakata, Satoshi
Veröffentlicht: (2026)

The Ordering Principle and Dependent Choice
von: Holy, Peter, et al.
Veröffentlicht: (2025)

The Ordering Principle and Higher Dependent Choice
von: Holy, Peter, et al.
Veröffentlicht: (2025)

Degree of Kripke-incompleteness of Tense Logics
von: Chen, Qian
Veröffentlicht: (2025)

Pretabular Tense Logics over S4t
von: Chen, Qian
Veröffentlicht: (2024)

Compactness for small cardinals in mathematics: principles, consequences, and limitations
von: Honzik, Radek
Veröffentlicht: (2025)

Interpolation in Hájek's Basic Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)