Copertina

Foulis-Holland theorem for implicative-orthomodular lattices

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Ciungu, Lavinia Corina
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Implicative-orthomodular algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2023)

Implicative-orthomodular lattices
di: Ciungu, Lavinia Corina
Pubblicazione: (2024)

Foulis quantales and complete orthomodular lattices
di: Botur, Michal, et al.
Pubblicazione: (2025)

Generalizations of quantum-Wajsberg algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2024)

Centers of quantum-Wajsberg algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2023)

Classification of states on certain orthomodular structures
di: Ciungu, Lavinia Corina
Pubblicazione: (2025)

A dagger kernel category of complete orthomodular lattices
di: Botur, Michal, et al.
Pubblicazione: (2025)

Foulis m-semilattices and their modules
di: Botur, Michal, et al.
Pubblicazione: (2025)

Implicative-ortholattices as orthogonality spaces
di: Ciungu, Lavinia Corina
Pubblicazione: (2025)

Quotient quantum-Wajsberg algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2023)

Quantum-Wajsberg algebras
di: Ciungu, Lavinia Corina
Pubblicazione: (2023)

Linear-time logics -- a coalgebraic perspective
di: Cirstea, Corina
Pubblicazione: (2016)

On $\mathscr{T}$-based orthomodular dynamic algebras
di: Paseka, Jan, et al.
Pubblicazione: (2026)

Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)

A Cobham theorem for scalar multiplication
di: Hieronymi, Philipp, et al.
Pubblicazione: (2024)

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics
di: Kojima, Ryota, et al.
Pubblicazione: (2025)

Traces via Strategies in Two-Player Games
di: Plummer, Benjamin, et al.
Pubblicazione: (2025)

A natural deduction system for orthomodular logic
di: Kornell, Andre
Pubblicazione: (2021)

Normative implications
di: De Domenico, Andrea, et al.
Pubblicazione: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
di: Przybocki, Benjamin, et al.
Pubblicazione: (2024)

An abstract fixed-point theorem for Horn formula equations
di: Hetzl, Stefan, et al.
Pubblicazione: (2025)

Pointed lattice subreducts of varieties of residuated lattices
di: Přenosil, Adam
Pubblicazione: (2023)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
di: Ken, Eitetsu, et al.
Pubblicazione: (2024)

Nelson algebras, residuated lattices and rough sets: A survey
di: Järvinen, Jouni, et al.
Pubblicazione: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Measurable Vizing's theorem
di: Grebík, Jan
Pubblicazione: (2023)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
di: Ikari, Hiroyuki, et al.
Pubblicazione: (2026)

Separation of congruence intervals and implications
di: Bulatov, Andrei A.
Pubblicazione: (2020)

Gelfand residuated lattices
di: Rasouli, Saeed, et al.
Pubblicazione: (2022)

Partition theorems for expanded trees
di: Shelah, Saharon
Pubblicazione: (2021)

Some remarks on lattices of equivalences
di: Herrmann, Christian
Pubblicazione: (2025)

On collection schemes and Gaifman's splitting theorem
di: Kurahashi, Taishi, et al.
Pubblicazione: (2024)

The Ginsburg--Sands theorem and computability theory
di: Benham, Heidi, et al.
Pubblicazione: (2024)

Duality for distributive and implicative semi-lattices
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Partition genericity and pigeonhole basis theorems
di: Monin, Benoit, et al.
Pubblicazione: (2022)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

n-fold filters in residuated lattice
di: Kadji, A., et al.
Pubblicazione: (2013)

Cross-constraint basis theorems and products of partitions
di: Cervelle, Julien, et al.
Pubblicazione: (2024)

Conservation of Ramsey's theorem for pairs and well-foundedness
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)