Results 21 to 30 of about 14,177 (220)
forall x: Calgary. An Introduction to Formal Logic [PDF]
, 2021 forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order ...
Button, Tim +4 more
core
The Critical Import of the Image: From Freud to Magritte [PDF]
Meta: Research in Hermeneutics, Phenomenology and Practical Philosophy, 2014 In the Interpretation of Dreams Freud asks how and if the dream, which is made of images, can express its connective structure, and in particular the negation. This can be made only by interpretation.
Gaetano Chiurazzi
doaj
Sequent systems for negative modalities
, 2017 Non-classical negations may fail to be contradictory-forming operators in more than one way, and they often fail also to respect fundamental meta-logical properties such as the replacement property. Such drawbacks are witnessed by intricate semantics and
Lahav, Ori, Marcos, João, Zohar, Yoni
core +1 more source
Revisiting the Duality of Computation: An Algebraic Analysis of Classical Realizability Models [PDF]
, 2020 International ...
core +4 more sources
Rola negacji w opisie świata według arystotelesowskiej Metafizyki [PDF]
Argument, 2012 The notions of „being” and „non-being” have entered philosophical language, forming thebasis of ontology and meontology, as the counterparts of the Greek expressions to o]n and tomh o]n (nominalised forms, affirmative and negative, of the participle of ...
Jan BIGAJ
doaj
MALL proof equivalence is Logspace-complete, via binary decision diagrams [PDF]
, 2015 Proof equivalence in a logic is the problem of deciding whether two proofs are equivalent modulo a set of permutation of rules that reflects the commutative conversions of its cut-elimination procedure. As such, it is related to the question of proofnets:
Bagnol, Marc
core +3 more sources
Logics of formal inconsistency arising from systems of fuzzy logic
, 2014 This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in ...
Coniglio, Marcelo +2 more
core +1 more source
Lifestyle Behaviors and Cardiotoxic Treatment Risks in Adult Childhood Cancer Survivors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Higher doses of anthracyclines and heart‐relevant radiotherapy increase cardiovascular disease (CVD) risk. This study assessed CVD and CVD risk factors among adult childhood cancer survivors (CCSs) across cardiotoxic treatment risk groups and examined associations between lifestyle behaviors and treatment risks.
Ruijie Li +6 more
wiley +1 more source
Conditional Logic as a Short-Circuit Logic
Scientific Annals of Computer ScienceThree-valued conditional logic (CL), defined by Guzmán and Squier (1990) and based on McCarthy’s noncommutative connectives, axiomatises a short-circuit logic (SCL), that is, a logic that prescribes short- circuit evaluation of conjunction and ...
Jan A. Bergstra, Alban Ponse
doaj +1 more source
A temporal semantics for Nilpotent Minimum logic
, 2013 In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued {\L}ukasiewicz logic {\L}3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic
Bianchi, Matteo
core +1 more source