Results 81 to 90 of about 1,524,096 (164)
Meaningless Sets in Infinitary Combinatory Logic [PDF]
, 2012 In this paper we study meaningless sets in infinitary combinatory logic. So far only a handful of meaningless sets were known. We show that there are uncountably many meaningless sets.
Severi, Paula, de Vries, Fer-Jan
core +1 more source
Transitive Closure Logic: Infinitary and Cyclic Proof Systems
, 2018 Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive definitions are a priori parametrized by a set of inductive definitions ...
Liron Cohen, Reuben Rowe
core +1 more source
Infinitary default logic for specification of nonmonotonic reasoning
, 1996 In this paper we study constructions leading to the formation of belief sets by agents. We focus on the situation when possible belief sets axe built incrementally in stages.
Marek, V. Wiktor +4 more
core +2 more sources
A Modal Interpretation of Quantum Spins and Its Application to Freudian Theory. [PDF]
Entropy (Basel), 2022 Battilotti G, Borozan M, Grotto RL.
europepmc +1 more source
Publicity and Common Commitment to Believe. [PDF]
Erkenntnis, 2023 Williams JRG.
europepmc +1 more source
An infinitary treatment of full mu-calculus
, 2019 We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Building on nested sequent calculi for tense logics and infinitary proof theory of fixed point logics, a cut-free sound and complete proof system for full μ ...
Moortgat, M. +5 more
core +1 more source
INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM
, 2020 International audienceAbstract Given a regular cardinal $\kappa $ such that $\kappa ^{
Espíndola, Christian
core +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +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