First order theory for literal-paraconsistent and literal-paracomplete matrices
From MaRDI portal
Publication:3583806
DOI10.1002/malq.200810062zbMath1196.03043MaRDI QIDQ3583806
Renato A. Lewin, Irene F. Mikenberg
Publication date: 18 August 2010
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10533/144665
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maximal weakly-intuitionistic logics
- On The Imaginary Logic of N. A. VASILIEV
- Literal-paraconsistent and literal-paracomplete matrices
- XML data exchange
- Combining Valuations with Society Semantics
- Natural 3-valued logics—characterization and proof theory
- Algebraization of logics defined by literal‐paraconsistent or literal‐paracomplete matrices