Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Huuskonen, Taneli"'
Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to be identical if they share the same denotation. In the semantics of the
Externí odkaz:
http://arxiv.org/abs/2104.14697
Publikováno v:
In Annals of Pure and Applied Logic February 2014 165(2):409-427
Publikováno v:
Journal of Philosophical Logic, 2005 Apr 01. 34(2), 193-206.
Externí odkaz:
https://www.jstor.org/stable/30226837
Autor:
Huuskonen, Taneli
Publikováno v:
The Journal of Symbolic Logic, 1995 Dec 01. 60(4), 1153-1167.
Externí odkaz:
https://www.jstor.org/stable/2275879
Autor:
Huuskonen, Taneli
Publikováno v:
Proceedings of the American Mathematical Society, 1994 Nov 01. 122(3), 697-702.
Externí odkaz:
https://www.jstor.org/stable/2160743
Autor:
Floréen, Patrik, Huuskonen, Taneli
Publikováno v:
Journal of Applied Probability, 1994 Sep 01. 31(3), 757-764.
Externí odkaz:
https://www.jstor.org/stable/3215153
Autor:
Huuskonen, Taneli1
Publikováno v:
Formalized Mathematics. Sep2015, Vol. 23 Issue 3, p161-176. 16p.
Autor:
Huuskonen, Taneli1
Publikováno v:
Formalized Mathematics. Sep2015, Vol. 23 Issue 3, p177-187. 11p.
Publikováno v:
Archive for Mathematical Logic. 1999, Vol. 38 Issue 8, p549. 9p.
Autor:
Huuskonen, Taneli1
Publikováno v:
Mathematical Logic Quarterly. 1991, Vol. 37 Issue 13-16, p217-226. 10p.