Literal-paraconsistent and literal-paracomplete matrices

DOI10.1002/malq.200510044zbMath1112.03019OpenAlexW2162272210MaRDI QIDQ3419671

Renato A. Lewin, Irene F. Mikenberg

Publication date: 7 February 2007

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10533/178175

zbMATH Keywords

paraconsistencyparacompletenesslogical matrixLeibniz relation-operator

Mathematics Subject Classification ID

Algebraic logic (03G99) Paraconsistent logics (03B53)

Related Items (8)

К вопросу о критерии паранепротиворечивости логик ⋮ Generalized correspondence analysis for three-valued logics ⋮ О критерии паранормальности для $n$-значных логических матриц ⋮ Об одном классе $n$-значных литеральных паранепротиворечивых / параполных логик ⋮ First order theory for literal-paraconsistent and literal-paracomplete matrices ⋮ Bochvar's three-valued logic and literal paralogics: Their lattice and functional equivalence ⋮ Deduction normalization theorem for Sette's logic and its modifications ⋮ A Semi-lattice of Four-valued Literal-paraconsistent-paracomplete Logics

Cites Work

• Unnamed Item
• On The Imaginary Logic of N. A. VASILIEV
• Formal inconsistency and evolutionary databases
• Protoalgebraic logics

This page was built for publication: Literal-paraconsistent and literal-paracomplete matrices