Image de couverture de livre

A note on Grigoriev and Zaitsev's system CNL$^2_4$

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Omori, Hitoshi, Arenhart, Jonas R. B.
Format:	Preprint
Publié:	2024
Sujets:	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

The Power of Generalized Clemens Semantics
par: Omori, Hitoshi, et autres
Publié: (2024)

The Disjunction-Free Fragment of D2 is Three-Valued
par: Omori, Hitoshi
Publié: (2024)

Kamide is in America, Moisil and Leitgeb are in Australia
par: Niki, Satoru, et autres
Publié: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
par: Carl, Merlin
Publié: (2023)

A note on Stone-Čech compactification in ZFA
par: Przybyłek, Michał R.
Publié: (2023)

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

Univalence without function extensionality
par: Cavallo, Evan, et autres
Publié: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

Incompleteness for stably computable formal systems
par: Savelyev, Yasha
Publié: (2022)

Modelling of logical systems by means of their fragments
par: Rybakov, Mikhail
Publié: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
par: Oda, Yukihiro
Publié: (2025)

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
par: Oda, Yukihiro, et autres
Publié: (2022)

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

Wider systems for linear logic with fixed points: proof theory and complexity
par: Das, Anupam, et autres
Publié: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss
par: Kozhemiachenko, Daniil
Publié: (2024)

Automated Analysis of Logically Constrained Rewrite Systems using crest
par: Schöpf, Jonas, et autres
Publié: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
par: Schöpf, Jonas, et autres
Publié: (2023)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
par: Ken, Eitetsu, et autres
Publié: (2024)

Tableau methodology for propositional logics
par: Jarmuzek, T., et autres
Publié: (2025)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
par: Aoto, Takahito, et autres
Publié: (2024)

Confluence of Logically Constrained Rewrite Systems Revisited
par: Schöpf, Jonas, et autres
Publié: (2024)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
par: Huvar, Ondřej, et autres
Publié: (2026)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
par: Aoto, Takahito, et autres
Publié: (2026)

Proofs that Modify Proofs, 1/2
par: Towsner, Henry
Publié: (2025)

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

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

When are two algorithms the same? Towards addressing Hilbert's 24th problem
par: Doubrovinski, Konstantin
Publié: (2025)

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
par: Takahata, Kanta, et autres
Publié: (2025)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
par: Takahata, Kanta, et autres
Publié: (2025)

A note on the theory of well orders
par: Jeřábek, Emil
Publié: (2024)

A Logic of Inability
par: Wang, Shanxia
Publié: (2026)

Sequent Calculi for Data-Aware Modal Logics
par: Areces, Carlos, et autres
Publié: (2025)

A modular risk concept for complex systems
par: McGeorge, Dag, et autres
Publié: (2025)

A Study on Actions for Atomic Logics
par: Espejo-Boix, Raül
Publié: (2024)

A Cobham theorem for scalar multiplication
par: Hieronymi, Philipp, et autres
Publié: (2024)

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)
par: Cantone, Domenico, et autres
Publié: (2018)

A modal approach towards substitutions
par: Tu, Yaxin, et autres
Publié: (2025)

A logic for default deontic reasoning
par: Piazza, Mario, et autres
Publié: (2025)