Copertina

Normal forms and representable functions in Moisil logic

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Sipos, Andrei
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic 03G25, 03B50, 06D30
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Subresiduated Nelson Algebras
di: Lubomirsky, Noemí, et al.
Pubblicazione: (2024)

Rational Lukasiewicz logic and DMV-algebras
di: Gerla, Brunella
Pubblicazione: (2012)

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

Algorithmic correspondence and analytic rules
di: De Domenico, Andrea, et al.
Pubblicazione: (2022)

Correspondence Theory for Many-valued Modal Logic
di: Britz, Cecelia, et al.
Pubblicazione: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
di: Knudstorp, Søren Brinck
Pubblicazione: (2025)

The logic of bunched implications is undecidable
di: Galatos, Nick, et al.
Pubblicazione: (2026)

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

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

Tense logics based on posets
di: Chajda, Ivan, et al.
Pubblicazione: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
di: Holliday, Wesley H.
Pubblicazione: (2022)

Possibility Semantics
di: Holliday, Wesley H.
Pubblicazione: (2024)

Models for the common knowledge logic
di: Tanaka, Yoshihito
Pubblicazione: (2024)

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

A computably enumerable many-one degree with no least finite-one degree
di: Cintioli, Patrizio
Pubblicazione: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

Stone type representation theorems via games
di: Aslan, Tuğba, et al.
Pubblicazione: (2018)

Countable Ordered Groups and Weihrauch Reducibility
di: Li, Ang
Pubblicazione: (2024)

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

Term algebras of elementarily equivalent atom structures
di: Andréka, H., et al.
Pubblicazione: (2018)

Bourbaki--Zorn Normal Forms for Maximality Arguments
di: Liu, You-Chang
Pubblicazione: (2026)

On the minimization k-valued logic functions in the class of disjunctive normal forms
di: Kabulov, Anvar, et al.
Pubblicazione: (2024)

A topos for extended Weihrauch degrees
di: Maschio, Samuele, et al.
Pubblicazione: (2025)

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

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

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
di: Cornejo, Juan M., et al.
Pubblicazione: (2024)

A minimalist two-level foundation for constructive mathematics
di: Maietti, Maria Emilia
Pubblicazione: (2008)

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

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

A mixed logic with binary operators
di: Düntsch, Ivo, et al.
Pubblicazione: (2024)

Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)

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

Multiplicative logic in arithmetic
di: Zhuravlov, Volodymyr
Pubblicazione: (2024)

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

The elementary theory of the 2-category of small categories
di: Hughes, Calum, et al.
Pubblicazione: (2024)

There is No Composition in the Computable Reducibility Degrees
di: Mourad, Daniel
Pubblicazione: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
di: Samra, Jean Abou, et al.
Pubblicazione: (2026)