Copertina

On Fidel Vakarelov construction for Monadic Godel algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Alonso, Maria Valentina, Pelaitay, Gustavo
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

A new categorial equivalence for Stone Algebras
di: Calomino, Ismael, et al.
Pubblicazione: (2025)

A Stone-type duality for semilattices with adjunctions
di: Gimenez, B., et al.
Pubblicazione: (2024)

An analysis of the constructive content of Henkin's proof of Gödel's completeness theorem
di: Herbelin, Hugo, et al.
Pubblicazione: (2024)

Distributive Laws of Monadic Containers
di: Purdy, Chris, et al.
Pubblicazione: (2025)

Monadic Second-Order Logic of Permutations
di: Jelínek, Vít, et al.
Pubblicazione: (2025)

Gödel's Program in Set Theory
di: Müller, Sandra, et al.
Pubblicazione: (2024)

Tableaux for epistemic Gödel logic
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
di: Livson, Ori, et al.
Pubblicazione: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
di: Lyon, Tim S.
Pubblicazione: (2023)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
di: Almeida, Rodrigo Nicolau
Pubblicazione: (2023)

Separability Properties of Monadically Dependent Graph Classes
di: Bonnet, Édouard, et al.
Pubblicazione: (2025)

Profiniteness, Monadicity and Universal Models in Modal Logic
di: De Berardinis, Matteo, et al.
Pubblicazione: (2023)

Some Epistemic Extensions of Gödel Fuzzy Logic
di: Dastgheib, D., et al.
Pubblicazione: (2016)

Axiomatizing logics of finite Gödel-Kripke models
di: Vidal, Amanda, et al.
Pubblicazione: (2026)

The Monadic Theory of Toric Words
di: Berthé, Valérie, et al.
Pubblicazione: (2023)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
di: Ma, Zhifeng, et al.
Pubblicazione: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
di: de Groot, Jim, et al.
Pubblicazione: (2021)

Simple tableaux for two expansions of Gödel modal logic
di: Bilkova, Marta, et al.
Pubblicazione: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
di: Frittella, Sabine, et al.
Pubblicazione: (2024)

On the Decidability of Monadic Theories of Arithmetic Predicates
di: Berthé, Valérie, et al.
Pubblicazione: (2024)

Graded Monads and Behavioural Equivalence Games
di: Ford, Chase, et al.
Pubblicazione: (2022)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
di: Dreier, Jan, et al.
Pubblicazione: (2024)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
di: Bilkova, Marta, et al.
Pubblicazione: (2023)

From Partial to Monadic: Combinatory Algebra with Effects
di: Cohen, Liron, et al.
Pubblicazione: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
di: Grobner, Harald
Pubblicazione: (2026)

Tape Diagrams for Monoidal Monads
di: Bonchi, Filippo, et al.
Pubblicazione: (2025)

The Formal Theory of Monads, Univalently
di: van der Weide, Niels
Pubblicazione: (2022)

Rotations of Gödel algebras with modal operators
di: Flaminio, Tommaso, et al.
Pubblicazione: (2024)

Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
di: Goncharov, Sergey
Pubblicazione: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
di: Kudasov, Nikolai
Pubblicazione: (2022)

The Parameterized Complexity of Learning Monadic Second-Order Logic
di: van Bergerem, Steffen, et al.
Pubblicazione: (2023)

Stone Duality for Monads
di: Garner, Richard, et al.
Pubblicazione: (2026)

Handling the Selection Monad (Full Version)
di: Plotkin, Gordon, et al.
Pubblicazione: (2025)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
di: Arroyo, Vicent Navarro
Pubblicazione: (2026)

Datalog-Expressibility for Monadic and Guarded Second-Order Logic
di: Bodirsky, Manuel, et al.
Pubblicazione: (2020)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Monadic Intersection Types, Relationally (Extended Version)
di: Gavazzo, Francesco, et al.
Pubblicazione: (2024)

Smart Choices and the Selection Monad
di: Abadi, Martin, et al.
Pubblicazione: (2020)

What Monads Can and Cannot Do with a Few Extra Pages
di: Møgelberg, Rasmus Ejlers, et al.
Pubblicazione: (2023)