Valuation Semantics for First-Order Logics of Evidence and Truth von Antunes, H., Rodrigues, A., Carnielli, W., Coniglio, M. E.

Volltext

Semi-stable semantics von Caminada, M. W. A., Carnielli, W. A., Dunne, P. E.

Volltext

Polynomial ring calculus for many-valued logics von Carnielli, W.

Volltext

Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation von Carnielli, W., Wansing, H.

Volltext

Paraconsistent Machines and their Relation to Quantum Computing von Agudelo, J. C., Carnielli, W.

Volltext

Ultrafilter logic and generic reasoning von Carnielli, W. A., Veloso, P. A. S.

Volltext

The Proceedings of the XVI EBL--16th Brazilian Logic Conference, 2011: A Preface von Carnielli, W., de Freitas Petrucio Viana, R.

Volltext

On the Ramsey Problem for Multicolor Bipartite Graphs von Carnielli, W.A, Monte Carmelo, E.L

Volltext

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning von De Araujo, A., Carnielli, W.

Volltext

Special Issue: Formal Representations in Model-based Reasoning and Abduction von Magnani, L., Carnielli, W., Pizzi, C.

Volltext

The Dialogical Approach to Paraconsistency von Rahman, Shahid, Carnielli, Walter A.

Volltext

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems von Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M, Gouveia, Paula, Sernadas, Cristina

Volltext

Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories”Logic Journal of the IGPL, 16(6): 585–590(2008) von Oliveira, Igor Carboni, Carnielli, Walter

Volltext

Preservation of Interpolation Features by Fibring von Carnielli, Walter, Rasga, João, Sernadas, Cristina

Volltext

Valuation semantics for first-order logics of evidence and truth (and some related logics) von Antunes, H, Rodrigues, A, Carnielli, W, Coniglio, M. E

Volltext bestellen

The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories von Oliveira, Igor Carboni, Carnielli, Walter

Volltext

Systematization of finite many-valued logics through the method of tableaux von Carnielli, Walter A.

Volltext

Transfers between Logics and Their Applications von Coniglio, M. E., Carnielli, W. A.

Volltext

Valuation semantics for first-order logics of evidence and truth (and some related logics) von Antunes, H, Rodrigues, A, Carnielli, W, Coniglio, M E

Volltext

Paraconsistency, Evidence, and Abduction von Rodrigues, A., Coniglio, M. E., Antunes, H., Bueno-Soler, J., Carnielli, W.

Volltext