Copertina

The Logical Embedding of Universal Frame Logic: A Sequent Calculus and Classical Interpretation

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autore principale:	Kevin Fathi
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2025
Soggetti:	Universal Frame Logic Recursive Type Arithmetic Sequent Calculus Logical Embedding Formal Systems Mathematical Logic Conservativity First-Order Logic Typed Logic Multi-Sorted Logic Symbolic Entropy Frame Semantics Model Theory Recursive Proof Systems Frame Morphisms Completeness Theorem Logical Soundness Typed Sequent Derivation Batesonian Logic Formal Deduction
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The Batesonian Completeness Conjecture: A Universal Framework for Mathematical Resolution via Recursive Type Arithmetic and Frame Ecology
di: Kevin Fathi
Pubblicazione: (2025)

Fermat's Last Theorem: Fully Constructive Proof by Absolute Dynamic Residual Exhaustion Descent (ADRED) — Proof-Theoretic Minimalization
di: Onodera, Hiroaki
Pubblicazione: (2025)

ECOLE : a pedagogical environment for non procedural languages
di: D.E Zegour
Pubblicazione: (2007)

Layered Recursive Compression as a Structural Proof of the Collatz Conjecture (Version 92)
di: Kawanishi, Yoshihito
Pubblicazione: (2025)

Machine-Checkable Weak Covering for the Collatz (3x+1) Problem
di: Kawanishi, Yoshihito
Pubblicazione: (2025)

Positive First-order Logic on Words and Graphs
di: Kuperberg, Denis
Pubblicazione: (2022)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
di: Barloy, Corentin, et al.
Pubblicazione: (2025)

An Attempted Symbolic Entropy Proof of the Collatz Conjecture via Canonical Rewrite Grammars
di: Fathi, Kevin
Pubblicazione: (2025)

The Logical Writings of Karl Popper
Pubblicazione: (2022)

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

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

An algebraic theory of ω-regular languages, via μν-expressions
di: Das, Anupam, et al.
Pubblicazione: (2025)

Function spaces for orbit-finite sets
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2024)

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

Cyclic system for an algebraic theory of alternating parity automata
di: Das, Anupam, et al.
Pubblicazione: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Non-commutative linear logic fragments with sub-context-free complexity
di: Nishimiya, Yusaku, et al.
Pubblicazione: (2025)

$O_2$ is a multiple context-free grammar: an implementation-, formalisation-friendly proof
di: Caminati, Marco B.
Pubblicazione: (2024)

Systemic Constraints of Undecidability
di: Bulin, Seth
Pubblicazione: (2025)

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

Nested Sequents for Quasi-transitive Modal Logics
di: Marin, Sonia, et al.
Pubblicazione: (2024)

The Finite Length Property of the Rado Graph and Friends
di: Yang, Jingjie, et al.
Pubblicazione: (2026)

Model-Checking PCTL Properties of Stateless Probabilistic Pushdown Systems
di: Lin, Deren, et al.
Pubblicazione: (2014)

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

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
di: Lyon, Tim S.
Pubblicazione: (2024)

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2026)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
di: Böhm, Corrado, et al.
Pubblicazione: (2025)

A Diamond Structure in the Transducer Hierarchy
di: Kaufmann, Noah
Pubblicazione: (2021)

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications
di: Ma, Liqian, et al.
Pubblicazione: (2025)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Logics for Context-free Hyperproperties
di: Winter, Sarah, et al.
Pubblicazione: (2026)

Positional Properties in Temporal Logic
di: Newman, Jessica, et al.
Pubblicazione: (2026)

Robust Probabilistic Temporal Logics
di: Zimmermann, Martin
Pubblicazione: (2023)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
di: Zhao, Yiqi, et al.
Pubblicazione: (2025)

Logic and Languages of Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2024)

Bisimulations and Logics for Higher-Dimensional Automata
di: Zouari, Safa, et al.
Pubblicazione: (2024)

A Non-Wellfounded and Labelled Sequent Calculus for Bimodal Provability Logic
di: Becker, Justus
Pubblicazione: (2025)

Positive Hennessy-Milner Logic for Branching Bisimulation
di: Geuvers, Herman, et al.
Pubblicazione: (2022)

The Treewidth Boundedness Problem for an Inductive Separation Logic of Relations
di: Bozga, Marius, et al.
Pubblicazione: (2023)