Copertina

Generalisation of proof simulation procedures for Frege systems by M.L.~Bonet and S.R.~Buss

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kozhemiachenko, Daniil
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Modal Logic for Reasoning About Uncertainty and Confusion
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Complexity of Abduction in Łukasiewicz Logic
di: Inoue, Katsumi, et al.
Pubblicazione: (2025)

Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Probabilistic Abduction in a Fuzzy Logic Framework
di: Flaminio, Tommaso, et al.
Pubblicazione: (2026)

Paraconsistent Constructive Modal Logic
di: Gao, Han, et al.
Pubblicazione: (2025)

Non-distributive relatives of ETL and NFL
di: Kozhemiachenko, Daniil
Pubblicazione: (2024)

Complexity of Łukasiewicz Modal Probabilistic Logics
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2025)

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

Non-contingecy in a paraconsistent setting
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2024)

Filter-induced entailment relations in paraconsistent Gödel logics
di: Frittella, Sabine, et al.
Pubblicazione: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

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)

A proof-theoretic approach to abstract interpretation
di: D'Silva, Vijay, et al.
Pubblicazione: (2026)

Bijective proofs for Eulerian numbers of types B and D
di: Santocanale, Luigi
Pubblicazione: (2021)

A logic of judgmental existence and its relation to proof irrelevance
di: Pezlar, Ivo
Pubblicazione: (2024)

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

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

The failure of cut-elimination in cyclic proof for first-order logic with inductive definitions
di: Oda, Yukihiro, et al.
Pubblicazione: (2021)

Simple tableaux for two expansions of Gödel modal logic
di: Bilkova, Marta, et al.
Pubblicazione: (2024)

Tableaux for epistemic Gödel logic
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Fuzzy bi-Gödel modal logic and its paraconsistent relatives
di: Bilkova, Marta, et al.
Pubblicazione: (2023)

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

Two-layered logics for probabilities and belief functions over Belnap--Dunn logic
di: Bilkova, Marta, et al.
Pubblicazione: (2024)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
di: Asgeirsson, Dagur
Pubblicazione: (2023)

An ecumenical view of proof-theoretic semantics
di: Nascimento, Victor, et al.
Pubblicazione: (2023)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
di: Rooduijn, Jan, et al.
Pubblicazione: (2024)

Birkhoff style proof systems for hybrid-dynamic quantum logic
di: Gaina, Daniel
Pubblicazione: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
di: Das, Anupam, et al.
Pubblicazione: (2024)

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

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)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Hyperintensional Intention
di: Khaitovich, Daniil, et al.
Pubblicazione: (2025)

An efficient quantifier elimination procedure for Presburger arithmetic
di: Haase, Christoph, et al.
Pubblicazione: (2024)

Short proofs without interference
di: Rebola-Pardo, Adrian
Pubblicazione: (2025)

A concise proof of Commoner's theorem
di: Jancar, Petr
Pubblicazione: (2024)

Between proof construction and SAT-solving
di: Schubert, Aleksy, et al.
Pubblicazione: (2024)