Results 91 to 100 of about 712,824 (175)
Dissemination Corner: One True Logic
, 2022 A brief article introducing *One True Logic*.
Griffiths, Owen, Paseau, A. C.
core +1 more source
The Modal Components of Judgements in a Quantum Model of Psychoanalytic Theory. [PDF]
Entropy (Basel), 2023 Battilotti G, Borozan M, Lauro Grotto R.
europepmc +1 more source
Reconciling First-Order Logic to Algebra
, 2018 We start from the algebraic method of theorem-proving based on the translation of logic formulas into polynomials over finite fields, and adapt the case of first-order formulas by employing certain rings equipped with infinitary operations.
Mariana Matulovic +5 more
core +1 more source
Infinitary Cut-Elimination via Finite Approximations [PDF]
We investigate non-wellfounded proof systems based on parsimonious logic, a weaker variant of linear logic where the exponential modality ! is interpreted as a constructor for streams over finite data.
Acclavio, Matteo; id_orcid +4 more
core +1 more source
Categoricity and infinitary logics
, 2015 We point out a gap in Shelah's proof of the following result: $\mathbf{Claim}$ Let $K$ be an abstract elementary class categorical in unboundedly many cardinals. Then there exists a cardinal $λ$ such that whenever $M, N \in K$ have size at least $λ$, $M \le N$ if and only if $M \preceq_{L_{\infty, \text{LS} (K)^+}} N$.
Boney, Will, Vasey, Sebastien
openaire +2 more sources
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
, 2017 In this article we investigate infinitary propositional logics from the perspective of their completeness properties in abstract algebraic logic. It is well-known that every finitary logic is complete with respect to its relatively (finitely) subdirectly
Lavicka T., Noguera C.
core +1 more source
A Comprehensive Framework for Saturation Theorem Proving. [PDF]
J Autom Reason, 2022 Waldmann U +3 more
europepmc +1 more source
Modality, bisimulation and interpolation in infinitary logic
Annals of Pure and Applied Logic, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Destructibility and axiomatizability of Kaufmann models. [PDF]
Arch Math Log, 2022 Switzer CB.
europepmc +1 more source
t is known that a theory in S5-epistemic logic with several agents may have numerous models. This is because each such model specifies also what an agent knows about infinite intersections of events, while the expressive power of the logic is limited to ...
HEIFETZ , Aviad
core