Results 31 to 40 of about 1,524,096 (164)

Chain logic and Shelah’s infinitary logic [PDF]

Israel Journal of Mathematics, 2019
For a cardinal of the form κ = בκ, Shelah’s logic Lκ1 has a characterisation as the maximal logic above ...
M. Džamonja, J. Väänänen
semanticscholar   +1 more source

Non-Commutative Infinitary Peano Arithmetic [PDF]

, 2011
Does there exist any sequent calculus such that it is a subclassical logic and it becomes classical logic when the exchange rules are added? The first contribution of this paper is answering this question for infinitary Peano arithmetic.
Berardi, Stefano, Tatsuta, Makoto
core   +1 more source

Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]

Logical Methods in Computer Science, 2011
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
Kord Eickmeyer, Martin Grohe
doaj   +1 more source

On the First-Order Complexity of Induced Subgraph Isomorphism [PDF]

Logical Methods in Computer Science, 2019
Given a graph $F$, let $I(F)$ be the class of graphs containing $F$ as an induced subgraph. Let $W[F]$ denote the minimum $k$ such that $I(F)$ is definable in $k$-variable first-order logic.
Oleg Verbitsky, Maksim Zhukovskii
doaj   +1 more source

On Bisimilarity for Quasi-discrete Closure Spaces [PDF]

Logical Methods in Computer Science
Closure spaces, a generalisation of topological spaces, have shown to be a convenient theoretical framework for spatial model checking. The closure operator of closure spaces and quasi-discrete closure spaces induces a notion of neighborhood akin to that
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink   +3 more
doaj   +1 more source

On the Possibility of a General Purge of Self-Reference

Análisis Filosófico, 2012
My aim in this paper is to gather some evident in favor of the view that a general purge of self-reference is possible. I do this by considering a modal-epistemic version of the Liar Paradox introduced by Roy Cook.
Lucas Rosenblatt
doaj   +1 more source

Isomorphic limit ultrapowers for infinitary logic [PDF]

Israel Journal of Mathematics, 2018
The logic Lθ1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{L}}
S. Shelah
semanticscholar   +1 more source

Infinitary Action Logic with Exponentiation [PDF]

Annals of Pure and Applied Logic, 2020
We introduce infinitary action logic with exponentiation---that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allows some of the structural rules (contraction, weakening ...
S. Kuznetsov, S. O. Speranski
semanticscholar   +1 more source

Two complete finitary sequent calculi for reflexive common knowledge

Lietuvos Matematikos Rinkinys, 2013
This paper discusses the use of complete sequent calculi for reflexive common knowledge logic. Description of language and complete infinitary calculus for RCL is presented.
Aurimas Paulius Girčys, Regimantas Pliuškevičius   +1 more
doaj   +1 more source

Anti-Realism and Infinitary Proofs

Análisis Filosófico, 2012
In the discussion about Yablo’s Paradox, a debated topic is the status of infinitary proofs. It is usually considered that, although a realist could (with some effort) accept them, an anti-realist could not do it at all.
Diego Tajer
doaj   +1 more source