Logic List Mailing Archive

CfP special issue of Logic Journal of IGPL on "Recovery Operators and Logics of Formal Consistency and Inconsistencies"

Special issue of Logic Journal of IGPL

TOPIC

Recovery Operators and Logics of Formal Consistency & Inconsistencies

SPECIAL ISSUE EDITORS

    -

    Walter Carnielli (CLE-UNICAMP-Brazil) (walter.carnielli@gmail.com)
    -

    Eduardo Alejandro Barrio (CONICET-University of Buenos Aires -
    Argentine) (eabarrio@gmail.com)

    CALL FOR PAPERS

    Submissions must be in clearly-written English. Instructions to Authors
    are on: http:// www.oxfordjournals.org/our_journals/igpl/for_authors.html.


    To submit a contribution send a one page abstract to:
eabarrio@gmail.com (c/copy
    to walter.carnielli@gmail.com)

    Contributing papers are invited from both Philosophers, Logicians,
    Mathematicians and Computer Scientists.

    FOCUS OF THE PAPERS

    We invite papers that share a strong conceptual interest in the logics
    of formal inconsistency and formal inconsistency (LFIs) as tools to
    recovery some concept that traditionally cannot be expressed by plain logic
    (the paradigmatic case being paraconsistent logics). We are specially
    interested in papers that develops different applications of consistency
    and inconsistency operators to capture notions such as just truth,
    accidentally true, classicality, strong negation, indeterminateness, etc.

    SCOPE OF THE SPECIAL ISSUE

    All papers related to Logics of Formal Inconsistencies those falling
    into the categories below are welcome:

    Consistency, Classicality and Recovery Operators

    Avoiding Hierarchies of Languages with Paraconsistent Logics

     Capturing Classical Logic using LFIs

    Recovery Operators in non-classical logics

    Many-valued Paraconsistent Logics with strong negation

    Modalities and Consistency Operators.

    Cut-elimination and Paraconsistency

    Non-transitive Logics and Inconsistencies

    Truth-Functionality and Paraconsistency.

IMPORTANT DATES

15 August 2016: Release of the Call for papers

31 October 2016: Deadline for expression of interest and abstract
submissions (500 word abstracts)

15 February 2017: Feedback / Invitation to submit full text submissions

31 March: Full text submissions deadline. All details on text submissions
can be found under: http:// policyreview.info/authors

30 June : Comprehensive peer review and feedback

31 August: Re-submission deadline

30 September: Publication of the special issue
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam