Imagen de Portada

Supervaluations, truth, and intuitionistic logic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Dopico, Pablo
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Supervaluation-Style Truth Revisited
por: Dopico, Pablo, et al.
Publicado: (2025)

Axiomatic theories of supervaluational truth: completing the picture
por: Dopico, Pablo, et al.
Publicado: (2024)

Filling in the semantics for intuitionistic conditional logic
por: Dufty, Brendan, et al.
Publicado: (2025)

Intuitionistic logic, dual intuitionistic logic, and modality
por: Aryal, Safal Raman
Publicado: (2024)

Bi-intuitionistic logics through the abstract algebraic logic lens
por: Deakin, Jonte, et al.
Publicado: (2025)

The proof theory and semantics of second-order (intuitionistic) tense logic
por: Becker, Justus, et al.
Publicado: (2026)

A linear proof language for second-order intuitionistic linear logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2023)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
por: d'Aragona, Antonio Piccolomini
Publicado: (2025)

Higher-order Kripke models for intuitionistic and non-classical modal logics
por: Barroso-Nascimento, Victor
Publicado: (2025)

Sub-sub-intuitionistic logic
por: Deakin, Jonte, et al.
Publicado: (2024)

Asymptotic truth-value laws in many-valued logics
por: Badia, Guillermo, et al.
Publicado: (2023)

Analytic proofs for logics of evidence and truth
por: Carnielli, Walter, et al.
Publicado: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
por: Olkhovikov, Grigory K., et al.
Publicado: (2022)

Normalization and cut-elimination theorems for some logics of evidence and truth
por: Coniglio, Marcelo E., et al.
Publicado: (2024)

Nonclassical logics and multivariate truth values
por: Zhuravlov, Volodymyr M.
Publicado: (2024)

Iterating reflection over intuitionistic arithmetic
por: Frittaion, Emanuele
Publicado: (2024)

Choice and independence of premise rules in intuitionistic set theory
por: Frittaion, Emanuele, et al.
Publicado: (2024)

Extensional realizability and choice for dependent types in intuitionistic set theory
por: Frittaion, Emanuele
Publicado: (2024)

An axiomatization of truth and paradoxicality
por: Castaldo, Luca
Publicado: (2025)

Smullyan's truth and provability
por: Kurahashi, Taishi, et al.
Publicado: (2024)

Modal definability in Kripke's theory of truth
por: Walsh, James
Publicado: (2024)

Adequate conditionals and Kripke's theory of truth
por: Stern, Johannes
Publicado: (2024)

On the expressive power of inquisitive team logic and inquisitive first-order logic
por: Kontinen, Juha, et al.
Publicado: (2026)

Quantum modal logic
por: Tokuo, Kenji
Publicado: (2025)

Tarskian truth theories over set theory
por: Enayat, Ali
Publicado: (2026)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
por: Beeson, Michael
Publicado: (2021)

Tableau methodology for propositional logics
por: Jarmuzek, T., et al.
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

A logic for default deontic reasoning
por: Piazza, Mario, et al.
Publicado: (2025)

Modal definability in Euclidean modal logics
por: Balbiani, Philippe, et al.
Publicado: (2025)

Modelling of logical systems by means of their fragments
por: Rybakov, Mikhail
Publicado: (2025)

Extended multi-adjoint logic programming
por: Cornejo, M. Eugenia, et al.
Publicado: (2024)

A formal system for reasoning about assertibility, truth, and meaningfulness
por: Weaver, Nik
Publicado: (2025)

Superabelian logics
por: Cintula, Petr, et al.
Publicado: (2024)

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

Intuitionistic monotone modal logic via translation
por: de Groot, Jim
Publicado: (2025)

Intuitionistic modal logics: a minimal setting
por: Balbiani, Philippe, et al.
Publicado: (2025)

Further remarks on the dual negation in team logics
por: Anttila, Aleksi
Publicado: (2024)

Antichain of ordinals in intuitionistic set theory
por: Wang, Shuwei
Publicado: (2025)