Results 1 to 10 of about 74 (73)
A Coalgebraic Approach to Dualities for Neighborhood Frames [PDF]
Logical Methods in Computer Science, 2022 We develop a uniform coalgebraic approach to J\'onsson-Tarski and Thomason type dualities for various classes of neighborhood frames and neighborhood algebras.
Guram Bezhanishvili +2 more
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 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
Ordinal analysis and the set existence property for intuitionistic set theories. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Rathjen M.
europepmc +1 more source
Modern perspectives in Proof Theory. [PDF]
Philos Trans A Math Phys Eng Sci, 2023 Aguilera JP, Pakhomov F, Weiermann A.
europepmc +1 more source
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
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
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