Useful Four-Valued Extension of the Temporal Logic KtT4

Vincent Degauquier

Bulletin of the Section of Logic (2018)

  • Volume: 47, Issue: 1
  • ISSN: 0138-0680

Abstract

top
The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.

How to cite

top

Vincent Degauquier. "Useful Four-Valued Extension of the Temporal Logic KtT4." Bulletin of the Section of Logic 47.1 (2018): null. <http://eudml.org/doc/295589>.

@article{VincentDegauquier2018,
abstract = {The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.},
author = {Vincent Degauquier},
journal = {Bulletin of the Section of Logic},
keywords = {temporal logic; many-valued logic; bi-intuitionistic logic; paraconsistent logic; sequent calculus; duality; cut-redundancy},
language = {eng},
number = {1},
pages = {null},
title = {Useful Four-Valued Extension of the Temporal Logic KtT4},
url = {http://eudml.org/doc/295589},
volume = {47},
year = {2018},
}

TY - JOUR
AU - Vincent Degauquier
TI - Useful Four-Valued Extension of the Temporal Logic KtT4
JO - Bulletin of the Section of Logic
PY - 2018
VL - 47
IS - 1
SP - null
AB - The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
LA - eng
KW - temporal logic; many-valued logic; bi-intuitionistic logic; paraconsistent logic; sequent calculus; duality; cut-redundancy
UR - http://eudml.org/doc/295589
ER -

References

top
  1. [1] N. D. Belnap, A useful four-valued logic, [in:] J. M. Dunn and G. Epstein (eds.), Modern uses of multiple-valued logic, Reidel Publishing Company, Dordrecht, 1977, pp. 8–37. 
  2. [2] A. Bochman, Biconsequence relations: a four-valued formalism of reasoning with inconsistency and incompleteness, Notre Dame Journal of Formal Logic, Vol. 39, No. 1 (1998), pp. 47–73. 
  3. [3] N. Bonnette and R. Goré, A labelled sequent system for tense logic Kt, [in:] G. Antoniou and J. Slaney (eds.), Advanced topics in artificial intelligence. 11th Australian joint conference on artificial intelligence, AI’98. Brisbane, Australia, July 13–17, 1998. Selected papers, Springer-Verlag, Berlin, 1998, pp. 71–82. 
  4. [4] A. B. M. Brunner and W. A. Carnielli, Anti-intuitionism and paraconsistency, Journal of Applied Logic, Vol. 3, No. 1 (2005), pp. 161–184. 
  5. [5] J. P. Burgess, Basic tense logic, [in:] D. Gabbay and F. Guenthner (eds.), Handbook of philosophical logic. Volume II. Extensions of classical logic, Reidel Publishing Company, Dordrecht, 1984, pp. 89–133. 
  6. [6] V. Degauquier, Cuts, gluts and gaps, Logique et Analyse, Vol. 55, No. 218 (2012), pp. 229–240. 
  7. [7] J. M. Dunn, Intuitive semantics for first-degree entailments and ‘coupled trees’, Philosophical Studies, Vol. 29, No. 3 (1976), pp. 149–168. 
  8. [8] J. M. Dunn, Partiality and its dual, Studia Logica, Vol. 66, No. 1 (2000), pp. 5–40. 
  9. [9] J. Y. Girard, Three-valued logic and cut-elimination: the actual meaning of Takeuti’s conjecture, Dissertationes Mathematicae (Rozprawy Matematyczne), Vol. 136 (1976), pp. 1–49. 
  10. [10] K. Gödel, On the intuitionistic propositional calculus, [in:] S. Feferman (ed), Collected works. Volume I. Publications 1929–1936, Oxford University Press, New York, 1986, pp. 222–225. 
  11. [11] R. Goré, Dual intuitionistic logic revisited, [in:] R. Dyckhoff (ed), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX 2000. St Andrews, Scotland, UK, July 3–7, 2000. Proceedings, Springer-Verlag, Berlin, 2000, pp. 252–267. 
  12. [12] P. Łukowski, Modal interpretation of Heyting-Brouwer logic, Bulletin of the Section of Logic, Vol. 25, No. 2 (1996), pp. 80–83. 
  13. [13] R. Muskens, On partial and paraconsistent logics, Notre Dame Journal of Formal Logic, Vol. 40, No. 3 (1999), pp. 352–374. 
  14. [14] S. Negri, Proof analysis in modal logic, Journal of Philosophical Logic, Vol. 34, No. 5/6 (2005), pp. 507–544. 
  15. [15] G. Priest, Many-valued modal logics: a simple approach, The Review of Symbolic Logic, Vol. 1, No. 2 (2008), pp. 190–203. 
  16. [16] C. Rauszer, An algebraic and Kripke-style approach to a certain extension of intuitionistic logic, Dissertationes Mathematicae (Rozprawy Matematyczne), Vol. 167 (1980), pp. 1–62. 
  17. [17] N. Rescher and A. Urquhart, Temporal logic, Springer-Verlag, Wien, 1971. 
  18. [18] G. Restall, Laws of non-contradiction, laws of the excluded middle, and logics, [in:] G. Priest, J. Beall and B. Armour-Garb (eds.), The law of non-contradiction. New philosophical essays, Clarendon Press, Oxford, 2004, pp. 73–84. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.