Results 141 to 150 of about 1,524,096 (164)

On syntactic concept lattice models for the Lambek calculus and infinitary action logic

Journal of Logic and Computation
The linguistic applications of the Lambek calculus suggest its semantics over algebras of formal languages. A straightforward approach to construct such semantics indeed yields a brilliant completeness theorem (Pentus 1995).
S. Kuznetsov
semanticscholar   +1 more source

Algebraic Proof Theory for Infinitary Action Logic

arXiv.org
We exhibit a uniform method for obtaining (wellfounded and non-wellfounded) cut-free sequent-style proof systems that are sound and complete for various classes of action algebras, i.e., Kleene algebras enriched with meets and residuals.
Wesley Fussner, Simon Santschi, Borja Sierra Miranda   +2 more
semanticscholar   +1 more source

An infinitary axiomatization of dynamic topological logic

Logic Journal of the IGPL, 2020
Dynamic topological logic ($\textsf{DTL}$) is a multi-modal logic that was introduced for reasoning about dynamic topological systems, i.e. structures of the form $\langle{\mathfrak{X}, f}\rangle $, where $\mathfrak{X}$ is a topological space and $f ...
Somayeh Chopoghloo, M. Moniri
semanticscholar   +1 more source

Completeness of Infinitary Heterogeneous Logic

Notre Dame Journal of Formal Logic, 2019
Given a regular cardinal $\kappa$ such that $\kappa^{
Christian Espíndola
semanticscholar   +1 more source

Comparing Infinitary Systems for Linear Logic with Fixed Points

Foundations of Software Technology and Theoretical Computer Science, 2023
Anupam Das, A. De, A. Saurin
semanticscholar   +1 more source

Geometric Rules in Infinitary Logic

Outstanding Contributions To Logic, 2021
Sara Negri
exaly  

Complexity of a Fragment of Infinitary Action Logic with Exponential via Non-well-founded Proofs

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2021
S. Kuznetsov
semanticscholar   +1 more source

Boolean Completeness of Infinitary Logic with Arbitrary Signatures

Notre Dame Journal of Formal Logic
J. P. Aguilera
semanticscholar   +1 more source

Closure Ordinal of Immediate Derivability Operator of Infinitary Action Logic

Mathematical Notes
T. G. Pshenitsyn
semanticscholar   +1 more source

Geometric Rules in Infinitary Logic

, 2019
Sara Negri
semanticscholar   +1 more source