A01=Itala Maria Lof D'ottaviano
A01=Marcelo Coniglio
A01=Walter Alexandr Carnielli
Adaptive Logic
Algebraic Semantics
atomic
Atomic Formula
Author_Itala Maria Lof D'ottaviano
Author_Marcelo Coniglio
Author_Walter Alexandr Carnielli
Axiom Scheme
Binary Connectives
Category=PBCH
classical
Classical Logic
Classical Negation
Consequence Relation
Da Costa
disjunctive
Disjunctive Syllogism
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Falso Quodlibet
formula
Inconsistent Theory
Inference Rule
logic
Lukasiewicz's Logic
modal
Modal Logic
modus
MV Algebra
Newton Da Costa
paraconsistent
Paraconsistent Logic
Paraconsistent Theories
ponens
Pontificia Universidad Catolica De Chile
Relevance Logic
Sentential Letter
Sentential Logic
Sequent Calculus
syllogism
Vice Versa
Product details
- ISBN 9781138466906
- Weight: 1230g
- Dimensions: 178 x 254mm
- Publication Date: 02 Oct 2019
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
This book presents a study on the foundations of a large class of paraconsistent logics from the point of view of the logics of formal inconsistency. It also presents several systems of non-standard logics with paraconsistent features.
Carnielli, Walter Alexandr
