Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Omori, Hitoshi, Arenhart, Jonas R. B.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Power of Generalized Clemens Semantics
di: Omori, Hitoshi, et al.
Pubblicazione: (2024)

The Disjunction-Free Fragment of D2 is Three-Valued
di: Omori, Hitoshi
Pubblicazione: (2024)

Kamide is in America, Moisil and Leitgeb are in Australia
di: Niki, Satoru, et al.
Pubblicazione: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
di: Carl, Merlin
Pubblicazione: (2023)

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

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

Univalence without function extensionality
di: Cavallo, Evan, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

Incompleteness for stably computable formal systems
di: Savelyev, Yasha
Pubblicazione: (2022)

Modelling of logical systems by means of their fragments
di: Rybakov, Mikhail
Pubblicazione: (2025)

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

A study for recovering the cut-elimination property in cyclic proof systems by restricting the arity of inductive predicates
di: Oda, Yukihiro, et al.
Pubblicazione: (2022)

Impredicative Encodings of (Higher) Inductive Types
di: Awodey, Steve, et al.
Pubblicazione: (2018)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

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

Automated Analysis of Logically Constrained Rewrite Systems using crest
di: Schöpf, Jonas, et al.
Pubblicazione: (2025)

Confluence Criteria for Logically Constrained Rewrite Systems (Full Version)
di: Schöpf, Jonas, et al.
Pubblicazione: (2023)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
di: Ken, Eitetsu, et al.
Pubblicazione: (2024)

Tableau methodology for propositional logics
di: Jarmuzek, T., et al.
Pubblicazione: (2025)

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2024)

Confluence of Logically Constrained Rewrite Systems Revisited
di: Schöpf, Jonas, et al.
Pubblicazione: (2024)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
di: Huvar, Ondřej, et al.
Pubblicazione: (2026)

Partial Rewriting and Value Interpretation of Logically Constrained Terms (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2026)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

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

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

Recovering Commutation of Logically Constrained Rewriting and Equivalence Transformations (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
di: Takahata, Kanta, et al.
Pubblicazione: (2025)

A note on the theory of well orders
di: Jeřábek, Emil
Pubblicazione: (2024)

A Logic of Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

A modular risk concept for complex systems
di: McGeorge, Dag, et al.
Pubblicazione: (2025)

A Study on Actions for Atomic Logics
di: Espejo-Boix, Raül
Pubblicazione: (2024)

A Cobham theorem for scalar multiplication
di: Hieronymi, Philipp, et al.
Pubblicazione: (2024)

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

A modal approach towards substitutions
di: Tu, Yaxin, et al.
Pubblicazione: (2025)

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