Buchumschlag

Normal forms and representable functions in Moisil logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sipos, Andrei
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic 03G25, 03B50, 06D30
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Rational Lukasiewicz logic and DMV-algebras
von: Gerla, Brunella
Veröffentlicht: (2012)

Intuitionism and computing with partial information
von: Ganchev, Hristo, et al.
Veröffentlicht: (2026)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

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

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Decidable varieties of p-algebras
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

Tense logics based on posets
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

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

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

\texorpdfstring{$D$}{D}-maximal many-one degrees contain least finite-one degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A computably enumerable many-one degree with no least finite-one degree
von: Cintioli, Patrizio
Veröffentlicht: (2026)

A Computably Enumerable $tt$-Degree Without Computably Enumerable Irreducible $m$-Degrees
von: Cintioli, Patrizio
Veröffentlicht: (2026)

Conjunctive reducibilities and completeness
von: Chitaia, Irakli, et al.
Veröffentlicht: (2026)

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

Stone type representation theorems via games
von: Aslan, Tuğba, et al.
Veröffentlicht: (2018)

Countable Ordered Groups and Weihrauch Reducibility
von: Li, Ang
Veröffentlicht: (2024)

An explicit Kuznetsov-Muravitsky enrichment
von: Jibladze, Mamuka, et al.
Veröffentlicht: (2024)

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

Bourbaki--Zorn Normal Forms for Maximality Arguments
von: Liu, You-Chang
Veröffentlicht: (2026)

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

A topos for extended Weihrauch degrees
von: Maschio, Samuele, et al.
Veröffentlicht: (2025)

More conservativity for weak Kőnig's lemma
von: Freund, Anton, et al.
Veröffentlicht: (2024)

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

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

A minimalist two-level foundation for constructive mathematics
von: Maietti, Maria Emilia
Veröffentlicht: (2008)

Intuitionistic Sahlqvist theory for deductive systems
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2022)

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

A mixed logic with binary operators
von: Düntsch, Ivo, et al.
Veröffentlicht: (2024)

Regainingly approximable numbers and sets
von: Hertling, Peter, et al.
Veröffentlicht: (2023)

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

Multiplicative logic in arithmetic
von: Zhuravlov, Volodymyr
Veröffentlicht: (2024)

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

The elementary theory of the 2-category of small categories
von: Hughes, Calum, et al.
Veröffentlicht: (2024)

There is No Composition in the Computable Reducibility Degrees
von: Mourad, Daniel
Veröffentlicht: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
von: Samra, Jean Abou, et al.
Veröffentlicht: (2026)