Gödel logics with an operator shifting truth values

Matthias Baaz; Oliver Fasching

doi:10.29007/1gvp

Download PDF Open PDF in browser

Gödel logics with an operator shifting truth values

2 pages•Published: March 25, 2013

Matthias Baaz and Oliver Fasching

Abstract

We consider Gödel logics extended by an operator whose semantics is given by I(oA)=min{1,r+I(A)}.

Keyphrases: Gödel logic, non-recursiveness, ring operator, Łukasiewicz logic

In: Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors). LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., vol 13, pages 13--14

Links:	https://easychair.org/publications/paper/S1gg
	https://doi.org/10.29007/1gvp

BibTeX entry

@inproceedings{LPAR-17-short:Godel_logics_with_an,
  author    = {Matthias Baaz and Oliver Fasching},
  title     = {G\textbackslash{}"odel logics with an operator shifting truth values},
  booktitle = {LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.},
  editor    = {Andrei Voronkov and Geoff Sutcliffe and Matthias Baaz and Christian Ferm\textbackslash{}"uller},
  series    = {EPiC Series in Computing},
  volume    = {13},
  pages     = {13--14},
  year      = {2013},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/S1gg},
  doi       = {10.29007/1gvp}}

Download PDF Open PDF in browser