Results 11 to 20 of about 1,465 (138)
Probability and nonclassical logic [PDF]
, 2016 Classical tautologies have probability. Classical contradictions have probability. These familiar features reflect a connection between standard probability theory and classical logic.
Williams, Robert
core +8 more sources
From Axioms to Analytic Rules in Nonclassical Logics [PDF]
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008 We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automated generation of analytic calculi for a wide range of prepositional nonclassical logics including intermediate, fuzzy and substructural logics.
Agata Ciabattoni +2 more
openaire +3 more sources
On the Costs of Nonclassical Logic [PDF]
Journal of Philosophical Logic, 2017 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Halbach, Volker, Nicolai, Carlo
openaire +5 more sources
A specialization of definitions in common knowledge logic
Lietuvos Matematikos Rinkinys, 2011 It is known that one of main aims of specializations of derivations in nonclassical logics is the various tools which allow us to simplify the searching of termination of derivations.
Aurimas Paulius Girčys +1 more
doaj +1 more source
A recovery operator for non-transitive approaches [PDF]
, 2018 In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes.
Barrio, Eduardo Alejandro +2 more
core +1 more source
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
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
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
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