Image de couverture de livre

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Almeida, Rodrigo Nicolau
Format:	Preprint
Publié:	2023
Sujets:	Logic Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

A Coalgebraic Semantics for Intuitionistic Modal Logic
par: Almeida, Rodrigo Nicolau, et autres
Publié: (2024)

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

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

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
par: Livson, Ori, et autres
Publié: (2025)

Initial Algebras of Domains via Quotient Inductive-Inductive Types
par: van Collem, Simcha, et autres
Publié: (2025)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
par: Blot, Valentin, et autres
Publié: (2024)

Gödel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
par: de Groot, Jim, et autres
Publié: (2021)

Gödel Incompleteness Theorem for PAC Learnable Theory from the view of complexity measurement
par: Ma, Zhifeng, et autres
Publié: (2024)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
par: Zhuk, Dmitriy
Publié: (2024)

Formalising Inductive and Coinductive Containers
par: Damato, Stefania, et autres
Publié: (2024)

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Impredicative Encodings of (Higher) Inductive Types
par: Awodey, Steve, et autres
Publié: (2018)

Topological Semantics for Common Inductive Knowledge
par: Namachivayam, Siddharth
Publié: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
par: Traversié, Thomas
Publié: (2024)

Simple Classes of Automatic Structures
par: Blumensath, Achim
Publié: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2018)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
par: Traversié, Thomas
Publié: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

Rewriting and Inductive Reasoning
par: Hajdu, Márton, et autres
Publié: (2024)

Uniform Local Tabularity in Intuitionistic Logic
par: Almeida, Rodrigo Nicolau
Publié: (2026)

Intrinsic and relative characterization results for logics with negative modalities
par: de Groot, Jim, et autres
Publié: (2025)

Applications of Interval-based Temporal Separation: the Reactivity Normal Form, Inverse $Π$, Craig Interpolation and Beth Definability
par: Guelev, Dimitar P.
Publié: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
par: Coniglio, M. E., et autres
Publié: (2026)

Cardinality and Representation of Stone Relation Algebras
par: Furusawa, Hitoshi, et autres
Publié: (2023)

Equational and Inductive Reasoning for Maude in Athena
par: Sanabria, Mateo, et autres
Publié: (2026)

Property Checking Without Inductive Invariants
par: Goldberg, Eugene
Publié: (2016)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
par: Pan, Yudai, et autres
Publié: (2021)

Admissibility of Substitution Rule in Cyclic-Proof Systems
par: Saotome, Kenji, et autres
Publié: (2025)

Paraconsistent Existential Graphs Gamma Peirce System
par: Sierra-Aristizabal, Manuel
Publié: (2023)

Cut-free Deductive System for Continuous Intuitionistic Logic
par: Geoffroy, Guillaume
Publié: (2025)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
par: Pacheco, Leonardo
Publié: (2026)

The Size-Change Principle for Mixed Inductive and Coinductive types
par: Hyvernat, Pierre
Publié: (2024)

Deciding Separation Logic with Pointer Arithmetic and Inductive Definitions
par: Su, Wanyun, et autres
Publié: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
par: Sangiorgi, Davide
Publié: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
par: Bronsveld, Steven, et autres
Publié: (2025)