Imagen de Portada

Generating proof systems for three-valued propositional logics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Greati, Vitor, Greco, Giuseppe, Marcelino, Sérgio, Palmigiano, Alessandra, Rivieccio, Umberto
Formato:	Preprint
Publicado:	2024
Materias:	Logic Logic in Computer Science 03B50 F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Finite Hilbert systems for Weak Kleene logics
por: Greati, Vitor, et al.
Publicado: (2024)

Axiomatizing the Logic of Ordinary Discourse
por: Greati, Vitor, et al.
Publicado: (2024)

Adding an Implication to Logics of Perfect Paradefinite Algebras
por: Greati, Vitor, 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 declarative approach to specifying distributed algorithms using three-valued modal logic
por: Gabbay, Murdoch J., et al.
Publicado: (2025)

Deducibility in the full Lambek calculus with weakening is HAck-complete
por: Greati, Vitor, et al.
Publicado: (2024)

Cut elimination for propositional cyclic proof systems with fixed-point operators
por: Hori, Hiromasa, et al.
Publicado: (2023)

Encoding argumentation frameworks with set attackers to propositional logic systems
por: Tang, Shuai, et al.
Publicado: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
por: Tang, Shuai
Publicado: (2025)

Hypersequent Calculi Have Ackermannian Complexity
por: Balasubramanian, A. R., et al.
Publicado: (2026)

FMP for QD logics. A wrong proof
por: Gasquet, Olivier
Publicado: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
por: Middelburg, C. A.
Publicado: (2023)

Modular many-valued semantics for combined logics
por: Caleiro, Carlos, et al.
Publicado: (2022)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
por: Castiglioni, José Luis, et al.
Publicado: (2025)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2025)

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

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof
por: Borzechowski, Manfred, et al.
Publicado: (2025)

Internal Effectful Forcing in System T
por: Escardo, Martin H., et al.
Publicado: (2025)

Locally tabular products of modal logics
por: Shapirovsky, Ilya B., et al.
Publicado: (2024)

Complexity of some modal logics of density (extended version)
por: Balbiani, Philippe, et al.
Publicado: (2025)

Glivenko's theorems from an ecumenical perspective
por: Pereira, Luiz Carlos, et al.
Publicado: (2026)

Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras
por: Stanković, Marko, et al.
Publicado: (2025)

A vector logic for extensional formal semantics
por: Quigley, Daniel
Publicado: (2024)

Normal forms in cubical type theory
por: Huang, Xu
Publicado: (2026)

Knowability as continuity: a topological account of informational dependence
por: Baltag, Alexandru, et al.
Publicado: (2024)

Belief in Simplicial Complexes
por: Sink, Philip, et al.
Publicado: (2025)

Reasoning Around Paradox with Grounded Deduction
por: Ford, Bryan
Publicado: (2024)

A Note on Proper Relational Structures
por: Bjorndahl, Adam, et al.
Publicado: (2025)

Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
por: Nakamura, Yuki
Publicado: (2026)

Y is a least fixed point combinator
por: Helfer, Joseph
Publicado: (2025)

First-Order Fischer Servi Logic
por: Christensen, Ahmee
Publicado: (2024)

Modal logic, fundamentally
por: Holliday, Wesley H.
Publicado: (2024)

On distance logics of Euclidean spaces
por: Agnew, Gabriel, et al.
Publicado: (2025)

A new representation of finite Hoops using a new type of product of structures
por: Botur, Michal
Publicado: (2025)

Sheaves as oracle computations
por: Ahman, Danel, et al.
Publicado: (2026)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
por: Koponen, Vera, et al.
Publicado: (2023)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
por: Shamkanov, Daniyar
Publicado: (2021)

Sufficient conditions for local tabularity of a polymodal logic
por: Shapirovsky, Ilya B.
Publicado: (2022)

Notions of rank and independence in countably categorical theories
por: Koponen, Vera
Publicado: (2025)

A vector logic for intensional formal semantics
por: Quigley, Daniel
Publicado: (2026)