Buchumschlag

Recursive inseparability of classical theories of a binary predicate and non-classical logics of a unary predicate

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rybakov, Mikhail
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Superintuitionistic predicate logics of linear frames: undecidability with two individual variables
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Strong completeness for the predicate logic of the continuous t-norms
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Modal logical aspects of provability predicates and consistency statements
von: Kogure, Haruka, et al.
Veröffentlicht: (2025)

Modelling of logical systems by means of their fragments
von: Rybakov, Mikhail
Veröffentlicht: (2025)

Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
von: Dowek, Gilles, et al.
Veröffentlicht: (2023)

On the existence property over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2025)

On $\lam$-existence over a predicate
von: Usvyatsov, Alexander
Veröffentlicht: (2026)

Stability over a predicate and prime closure
von: Usvyatsov, Alexander
Veröffentlicht: (2024)

Craig interpolation theorem fails in bi-intuitionistic predicate logic
von: Olkhovikov, Grigory K., et al.
Veröffentlicht: (2022)

The algebraic semantics for the one-variable monadic fragment of the predicate logic $\mathcal{G}\forall_{\sim}$
von: Castaño, Diego, et al.
Veröffentlicht: (2024)

Stable amalgamation over a predicate and the Gaifman property
von: Shelah, Saharon, et al.
Veröffentlicht: (2025)

Sharing proofs with predicative theories through universe-polymorphic elaboration
von: Felicissimo, Thiago, et al.
Veröffentlicht: (2023)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
Veröffentlicht: (2025)

Fibred sets within a predicative and constructive effective topos
von: Cioffo, Cipriano Junior, et al.
Veröffentlicht: (2024)

On equationally Noetherian predicate structures
von: Buchinskiy, Ivan, et al.
Veröffentlicht: (2024)

Complexity of the variable-free fragments of non-normal modal logics (extended version)
von: Kudinov, A., et al.
Veröffentlicht: (2025)

Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
von: Petrakis, Iosif, et al.
Veröffentlicht: (2022)

Tarski's least fixed point theorem: A predicative type theoretic formulation
von: Ray, Ian
Veröffentlicht: (2024)

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

Defining implication relation for classical logic
von: Fu, Li
Veröffentlicht: (2013)

Continuous logic in a classical setting
von: Agostini, Claudio, et al.
Veröffentlicht: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
von: Oddsson, Hrafn Valtýr
Veröffentlicht: (2026)

Higher-order Kripke models for intuitionistic and non-classical modal logics
von: Barroso-Nascimento, Victor
Veröffentlicht: (2025)

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

The most natural paradefinite logic relative to classical logic
von: Middelburg, C. A.
Veröffentlicht: (2026)

On Presburger arithmetic extended with non-unary counting quantifiers
von: Habermehl, Peter, et al.
Veröffentlicht: (2022)

Distal expansions of Presburger arithmetic by a sparse predicate
von: Tong, Mervyn
Veröffentlicht: (2024)

Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates
von: Cantone, Domenico, et al.
Veröffentlicht: (2024)

Regular non-normal modal classicalities
von: Freire, Alfredo Roque, et al.
Veröffentlicht: (2026)

Complexity of Nonassociative Lambek Calculus with classical logic
von: Płaczek, Paweł
Veröffentlicht: (2024)

On three-valued presentations of classical logic
von: da Ré, Bruno, et al.
Veröffentlicht: (2023)

There are no minimal effectively inseparable theories
von: Cheng, Yong
Veröffentlicht: (2022)

Logics with the axiom of convergence: complexity with a small number of variables in the language (extended version)
von: Rybakov, M., et al.
Veröffentlicht: (2025)

Message complexity for unary multiautomata systems
von: Choffrut, Christian
Veröffentlicht: (2024)

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras
von: Alpay, Natanael, et al.
Veröffentlicht: (2022)

A new closure algorithm based in logic: SLFD-Closure versus classical closures
von: M. Enciso
Veröffentlicht: (2006)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

Equiconsistency of the Minimalist Foundation with its classical version
von: Maietti, Maria Emilia, et al.
Veröffentlicht: (2024)

Optimal transport for types and convex analysis for definable predicates in tracial $\mathrm{W}^*$-algebras
von: Jekel, David
Veröffentlicht: (2023)

The proof theory and semantics of second-order (intuitionistic) tense logic
von: Becker, Justus, et al.
Veröffentlicht: (2026)