Results 171 to 180 of about 432 (203)
The composite governance mechanisms and sustainable economic performance of Pakistan's textile industry. [PDF]
PLoS OneSaleem A, Sandhu MA, Hashmi AM, Jamil A.
europepmc +1 more source
Making (in)formality work in a multi-scalar European border regime. [PDF]
J Ethn Migr StudMarie Borrelli L, Lindberg A.
europepmc +1 more source
Terminological Resources for Biologically Inspired Design and Biomimetics: Evaluation of the Potential for Ontology Reuse. [PDF]
Biomimetics (Basel)Yargan D, Jansen L.
europepmc +1 more source
JOM Forum: Theory Testing Is Theory Generation
Journal of Operations Management, EarlyView.
Mikko Ketokivi +6 more
wiley +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The Inconsistency of Certain Formal Logics.
The Journal of Symbolic Logic, 1942A proof that certain systems of formal logic are inconsistent, in the sense that every formula expressible in them is provable, was published by Kleene and Rosser under the above title in 1935. For the case where the underlying system satisfies an additional condition—viz.
Alonzo Church, Haskell B. Curry
openaire +3 more sources
A Basic Logic of Formal Inconsistency: mbC
2016This chapter begins a formal study of Logics of Formal Inconsistency (LFIs) by offering a careful survey of the basic logic of formal inconsistency, mbC. The chapter also lays out the main notation, ongoing definitions and main ideas that will be used throughout the book.
Walter Carnielli +1 more
openaire +1 more source
The Review of Symbolic Logic, 2014
AbstractThis paper investigates the question of characterizing first-orderLFIs (logics of formal inconsistency) by means of two-valued semantics.LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational ...
WALTER CARNIELLI +3 more
openaire +1 more source
AbstractThis paper investigates the question of characterizing first-orderLFIs (logics of formal inconsistency) by means of two-valued semantics.LFIs are powerful paraconsistent logics that encode classical logic and permit a finer distinction between contradictions and inconsistencies, with a deep involvement in philosophical and foundational ...
WALTER CARNIELLI +3 more
openaire +1 more source
On the Philosophy and Mathematics of the Logics of Formal Inconsistency
2015The aim of this text is to present the philosophical motivations for the Logics of Formal Inconsistency (LFIs), along with some relevant technical results. The text is divided into two main parts (besides a short introduction). In Sect. 3.2, we present and discuss philosophical issues related to paraconsistency in general, and especially to logics of ...
Walter Carnielli, Abilio Rodrigues
openaire +1 more source
Hallden's Logic of Nonsense and Its Expansions in View of Logics of Formal Inconsistency
2016 27th International Workshop on Database and Expert Systems Applications (DEXA), 2016The paper explores the connection between Soren Hallden's logic of nonsense (and its expansions) and Logics of Formal Inconsistency (LFIs), one of the main traditions in paraconsistency. Although not much attention has been payed by paraconsistentists, Hallden's logic can be nicely connected to LFIs.
openaire +1 more source