Da Costa 1964 Logical Seminar: Revisited Memories
Year: 2017
Type: article
Abstract: A new insight on the structuring of some kinds of paraconsistent logics is sketched by using quite elementary technical means, after a recollection of the methods which, during the summer of 1964, permitted to discover, on da Costa’s systems Cn, some then new results, among which some are somewhat crossed by some ideas of Waragai and Shidori in their contribution to the Congress. Strongly inspired by Carnielli and Marcos' Taxonomy, this insight differs nevertheless from it in its structuring, and rests on a prerequisite study of the links between the acceptance of some rules pertaining to the semantic tableaux method and the acceptance of some corresponding schemes in Hilbert's styles axiomatics of logics which are intermediate between positive intuitionistic logic and full classical logic.
Source: CLE e-Prints
Authors: Memories Marcel Guillaume, Marcel Guillaume
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W7095829515