[Lecture Notes in Computer Science] Foundations of Computer Science Volume 1337 || Defining discipline
- 作者Freksa, Christian; Jantzen, Matthias; Valk, Rüdiger
- 文件大小976.02KB
- 发表时间1997
- DOI10.1007/BFb0052074
- 页码21-35
EditorialCarnielli, Walter Alexandre; Coniglio, Marcelo Esteban; D'Ottaviano, Itala Maria Loffredo · Logic Journal of IGPL · 2004
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 ||Carnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Matrices and AlgebraizabilityCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Contradiction and (in)ConsistencyCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || Some Extensions of mbCCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || First-Order LFIsCarnielli, Walter; Coniglio, Marcelo Esteban · 2016
[Logic, Epistemology, and the Unity of Science] Paraconsistent Logic: Consistency, Contradiction and Negation Volume 40 || LFIs Based on Other LogicsCarnielli, Walter; Coniglio, Marcelo Esteban · 2016