Results for author 'Walter Carnielli'

Advances in Contemporary Logic and Computer Science : Proceedings of the 11th Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

Contemporary Mathematics

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

Modalities and Multimodalities

Logic, Epistemology, and the Unity of Science

Model-Based Reasoning in Science and Technology

Abduction, Logic, and Computational Discovery

Paraconsistency

The Logical Way to the Inconsistent

Model-Based Reasoning in Science and Technology

Abduction, Logic, and Computational Discovery

The Significance of the New Logic

Computability

Computable Functions, Logic, and the Foundations of Mathematics

The Many Sides of Logic

Studies in Logic

Contradictions, from Consistency to Inconsistency

Trends in Logic

The Significance of the New Logic