Copertina

Algebraizable Weak Logics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nakov, Georgi, Quadrellaro, Davide Emilio
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic 03G27, 03C05, 03B55, 03B50
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Logic families
di: Andréka, H., et al.
Pubblicazione: (2023)

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

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
di: Paolini, Gianluca, et al.
Pubblicazione: (2024)

Compactness in Team Semantics
di: Puljujärvi, Joni, et al.
Pubblicazione: (2022)

The Construction Principle and superstability of free objects in varieties of algebras
di: Hyttinen, Tapani, et al.
Pubblicazione: (2026)

Adding an Implication to Logics of Perfect Paradefinite Algebras
di: Greati, Vitor, et al.
Pubblicazione: (2023)

Connexive implications in Substructural Logics
di: Fazio, Davide, et al.
Pubblicazione: (2022)

On three-valued presentations of classical logic
di: da Ré, Bruno, et al.
Pubblicazione: (2023)

Weak compactness cardinals for strong logics and subtlety properties of the class of ordinals
di: Lücke, Philipp
Pubblicazione: (2024)

Quantitative Linear Logic
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

Biased elementary doctrines and quotient completions
di: Cioffo, Cipriano Junior
Pubblicazione: (2023)

Structured Sunflowers
di: Ackerman, Nathanael, et al.
Pubblicazione: (2025)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

The Galvin-Prikry Theorem in the Weihrauch lattice
di: Marcone, Alberto, et al.
Pubblicazione: (2024)

Craig Interpolation for Subgeometric Logics
di: Di Liberti, Ivan, et al.
Pubblicazione: (2026)

The most natural paradefinite logic relative to classical logic
di: Middelburg, C. A.
Pubblicazione: (2026)

The tree pigeonhole principle in the Weihrauch degrees
di: Dzhafarov, Damir, et al.
Pubblicazione: (2023)

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

Failure of Esakia's theorem in the monadic setting
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
di: Bezhanishvili, Guram, et al.
Pubblicazione: (2025)

Possibility Frames and Forcing for Modal Logic
di: Holliday, Wesley H.
Pubblicazione: (2025)

Aristotle's Second-Order Logic and Natural Deduction
di: Protin, Clarence
Pubblicazione: (2023)

Building complicated index models and Boolean algebras
di: Shelah, Saharon
Pubblicazione: (2024)

Topological semantics for a non-self-extensional LFI
di: Jain, Esha, et al.
Pubblicazione: (2025)

On the Model Theory of Second-Order Objects
di: Hyttinen, Tapani, et al.
Pubblicazione: (2024)

A complicated family of trees with omega + 1 levels
di: Shelah, Saharon
Pubblicazione: (2014)

Equivalence of finite non-deterministic logical matrices is undecidable
di: Caleiro, Carlos, et al.
Pubblicazione: (2024)

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
di: Baldwin, John T., et al.
Pubblicazione: (2026)

Hierarchical formula classes with respect to semi-classical prenex normalization
di: Fujiwara, Makoto, et al.
Pubblicazione: (2025)

Interpolation in Hájek's Basic Logic
di: Fussner, Wesley, et al.
Pubblicazione: (2024)

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

Ramsey expansions of $Λ$-ultrametric spaces
di: Braunfeld, Samuel
Pubblicazione: (2017)

An unusual example of a universal automorphism group
di: Sullivan, Rob, et al.
Pubblicazione: (2026)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Sub-sub-intuitionistic logic
di: Deakin, Jonte, et al.
Pubblicazione: (2024)

Cartagena Logic
di: Kivimäki, Siiri, et al.
Pubblicazione: (2021)

Categoricity and amalgamation for AEC and $ κ$ measurable
di: Kolman, Oren, et al.
Pubblicazione: (1996)