Results 11 to 20 of about 816,807 (142)
Rough subalgebras of some binary algebras connected with logics
International Journal of Mathematics and Mathematical Sciences, 2005 Properties of rough subalgebras and ideals of some binary algebras playing a central role in the theory of algebras connected with different types of nonclassical logics are described.
Wieslaw A. Dudek, Young Bae Jun
doaj +1 more source
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE [PDF]
The Review of Symbolic Logic, 2020 Questions concerning the proof-theoretic strength of classical versus nonclassical theories of truth have received some attention recently. A particularly convenient case study concerns classical and nonclassical axiomatizations of fixed-point semantics.
Martin Fischer +2 more
semanticscholar +1 more source
Betting on Quantum Objects [PDF]
, 2017 Dutch book arguments have been applied to beliefs about the outcomes of measurements of quantum systems, but not to beliefs about quantum objects prior to measurement. In this paper, we prove a quantum version of the probabilists' Dutch book theorem that
Steeger, Jeremy
core +4 more sources
Defining Cognitive Logics by Non-Classical Tableau Rules
Studies in Logic, Grammar and Rhetoric, 2016 In the paper we propose a new approach to formalization of cognitive logics. By cognitive logics we understand supraclassical, but non-trivial consequence operations, defined in a propositional language.
Jarmużek Tomasz
doaj +1 more source
THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH [PDF]
Journal of Symbolic Logic (JSL), 2020 We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results. Given a fixed-point model $\mathcal {M}$ , or an axiomatization S thereof, we find a modal logic M such ...
Carlo Nicolai, J. Stern
semanticscholar +1 more source
AESTHETICS OF WORD PLAY AS METALANGUAGE OF NABOKOV’S FICTION
Вестник Волгоградского государственного университета: Серия 2. Языкознание, 2017 The article is aimed at revealing a proof on metalanguage being a special style of writing that Nabokov managed to endeavor, following the principles of nonclassical poetics of modernism and postmodernism. Nabokov created a new type of literary text that
Larisa Yu. Strelnikova
doaj +1 more source
Reactive preferential structures and nonmonotonic consequence [PDF]
, 2008 We introduce information bearing systems (IBRS) as an abstraction of many logical systems. We define a general semantics for IBRS, and show that IBRS generalize in a natural way preferential semantics and solve open representation ...
Gabbay, Dov, Schlechta, Karl
core +4 more sources
Probability and Nonclassical Logic [PDF]
, 2017 This chapter presents axioms for comparative conditional probability relations. The axioms presented here are more general than usual. Each comparative relation is a weak partial order on pairs of sentences but need not be a complete order relation.
openaire +4 more sources