msakai's logic [28 articles] Export

Recent papers added to msakai's library classified by the tag logic. You can also see everyone's logic.

	The Boundary Between Decidability and Undecidability for Transitive-Closure Logics [My Copy] Computer Science Logic (2004), pp. 160-174. by Neil Immerman, Alex Rabinovich, Tom Reps, Mooly Sagiv, Greta Yorsh posted to logic by msakai on 2009-09-19 09:42:35 as
	スコーレムの有限主義 [My Copy] 哲学論叢, Vol. 29 (1 September 2002), pp. 81-104. by 康夫出口 posted to logic by msakai on 2009-06-14 08:04:23 as
	記号が制限された古典/直観主義２階命題論理について [My Copy] by わ posted to logic by msakai on 2009-02-01 23:22:09 as along with 1 person yoriyuki
	Logic of Computation (Nato a S I Series Series III, Computer and Systems Sciences) [My Copy] by And C. Algebra posted to logic by msakai on 2009-01-04 09:10:54 as
	代数的視点からの論理へのアプローチ [My Copy] by Hiroaki Ono posted to logic by msakai on 2008-11-30 07:00:26 as
	Higher-order Logic Reconsidered [My Copy] The Oxford Handbook of Philosophy of Mathematics and Logic, Vol. 1, No. 9., pp. 781-833. by Ignacio Jane posted to higher-order-logic logic by msakai on 2008-10-10 00:58:55 as
	Translating dependent type theory into higher order logic [My Copy] Typed Lambda Calculi and Applications (1993), pp. 209-229. by Bart Jacobs, Tom Melham posted to logic type-theory by msakai on 2008-07-15 02:34:56 as along with 1 person shimomura
	Distinguishing non-standard natural numbers in a set theory within Łukasiewicz logic [My Copy] Archive for Mathematical Logic, Vol. 46, No. 3. (23 April 2007), pp. 281-287. by Shunsuke Yatabe posted to arithmetic logic by msakai on 2008-06-21 06:49:15 as along with 1 person yoriyuki
	計算と論理のための自然枠組NF/CAL (A Natural Framework for Computation and Logic: NF/CAL) [My Copy] コンピュータソフトウェア, Vol. 23, No. 3. (2006), pp. 3-13. by Masahiko Sato posted to logic theorem-proving by msakai on 2008-06-06 10:59:09 as
	The variety of residuated lattices is generated by its finite simple members [My Copy] Reports on Mathematical Logic, Vol. 34 (2000), pp. 59-77. by Tomasz Kowalski, Hiroakira Ono posted to algebra logic by msakai on 2008-06-01 06:03:12 as
	Against intuitionism: Constructive mathematics is part of classical mathematics [My Copy] Journal of Philosophical Logic, Vol. 12, No. 2. (1 May 1983), pp. 173-195. by W. W. Tait posted to logic by msakai on 2008-04-15 04:09:48 as along with 1 person Constructivity
	Self-reference and fixed points: A discussion and an extension of Lawvere's Theorem [My Copy] Acta Applicandae Mathematicae: An International Survey Journal on Applying Mathematics and Mathematical Applications, Vol. 2, No. 1. (1 March 1984), pp. 1-19. by Jorge Soto-Andrade, Francisco J. Varela posted to category-theory logic self-reference by msakai on 2008-03-31 13:55:32 as along with 2 people adrian_pigors scis0000001
	A Cube of Proof Systems for the Intuitionistic Predicate $μ,ν$-Logic [My Copy] In Selected Papers 8th Nordic Workshop on Programming Theory, NPWT'96, Oslo, Norway, 4--6 Dec 1996 (1997), pp. 237-246. by Tarmo Uustalu, Varmo Vene edited by Magne Haveraaen, Olaf Owe posted to logic by msakai on 2007-11-24 09:28:58 as
	The problem of the determinacy of infinite games from an intuitionistic point of view [My Copy] (10 November 2004) by Wim Veldman posted to determinacy game intuitionistic logic by msakai on 2007-09-30 17:25:33 as
	直観主義論理の決定時間について [My Copy] (19 September 2007) by 正道和手 posted to intuitionistic logic slacs2007 by msakai on 2007-09-19 16:58:45 as
	On Provability Logic [My Copy] Nordic Journal of Philosophical Logic, Vol. 4, No. 2., pp. 95-116. by Vítězslav Švejdar posted to logic modal-logic provability by msakai on 2007-09-16 05:57:09 as
	Solution of a Problem of Leon Henkin [My Copy] The Journal of Symbolic Logic, Vol. 20, No. 2. (1955), pp. 115-118. by M. H. Lob posted to logic modal-logic by msakai on 2007-09-16 05:19:21 as
	Towards Limit Computable Mathematics [My Copy] In TYPES (2000), pp. 125-144. by Susumu Hayashi, Masahiro Nakata posted to lcm logic by msakai on 2007-09-11 22:29:03 as
	Logical Predicates for Intuitionistic Linear Type Theories [My Copy] In Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications (TLCA'99), Vol. 1581 (1999), pp. 198-212. by Masahito Hasegawa edited by Jean Y. Girard posted to linear-logic logic by msakai on 2006-10-24 16:53:00 as
	A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) [My Copy] In CSL (1994), pp. 121-135. by P. N. Benton posted to category-theory logic by msakai on 2006-10-09 10:22:04 as along with 1 person kozima
	A hidden agenda [My Copy] Theoretical Computer Science, Vol. 245, No. 1. (2000), pp. 55-101. by Joseph Goguen, Grant Malcolm posted to logic by msakai on 2006-06-11 18:11:18 as along with 1 person radico
	Using meta-logic to reconcile reactive with rational agents [My Copy] In Meta-Logic and Logic Programming (1995) by Robert Kowalski posted to logic by msakai on 2006-06-05 08:15:48 as
	Subtractive logic [My Copy] Theoretical Computer Science, Vol. 254, No. 1--2. (2001), pp. 151-185. by Tristan Crolard posted to logic by msakai on 2006-05-15 14:34:16 as along with 2 people and 1 group dherman EdwardKmett NU-PRL
	Narrowing-driven Partial Evaluation of Functional Logic Programs [My Copy] In Proc. of the European Symposium on Programming, ESOP'96, Vol. 1058 (1996), pp. 45-61. by M. Alpuente, M. Falaschi, G. Vidal edited by H. R. Nielson posted to functional logic by msakai on 2006-04-29 19:17:31 as
	Proof Search Issues in Some Non-Classical Logics [My Copy] (1998) by J. Howe posted to logic by msakai on 2006-04-29 15:14:40 as
	Linear logic, coherence and dinaturality [My Copy] Theoretical Computer Science, Vol. 115, No. 1. (5 July 1993), pp. 3-41. by Richard Blute posted to category-theory logic by msakai on 2006-04-05 07:27:48 as along with 1 person jonjonc
	Topology via Logic (Cambridge Tracts in Theoretical Computer Science) [My Copy] (22 August 1996) by Steven Vickers posted to domain-theory logic topology by msakai on 2006-02-10 16:59:17 as
	First Steps in Modal Logic [My Copy] (08 December 1994) by Sally Popkorn posted to logic by msakai on 2006-02-10 16:57:58 as

Note: You may cite this page as: http://www.citeulike.org/user/msakai/tag/logic

category-theory	81
type-theory	80
haskell	59
domain-theory	35
functional	34
model-checking	33
logic	28
ppl2008	26
ppl2009	26
coalgebra	22
continuation	22
theorem-proving	18
program-transformation	17
polymorphism	16
linear-logic	14
linguistics	14
quantum	14
concurrency	12
modal-logic	12
lambda-calculus	11
institution	10
regular-expression	8
algebraic-specification	7
complexity	7
garbage-collection	7
virtual-machine	7
functional-programming	6
logic-programming	6
parametricity	6
aop	5
coq	5
program-analysis	5
rewriting	5
security	5
set-theory	5
agda	4
alloy	4
dependent-types	4
inductive-logic-programming	4
parser	4
reactive	4
ruby	4
specification	4
topology	4
types	4
algebra	3
c	3
compiler	3
game	3
intuitionistic	3
logical-relation	3
machine-learning	3
process-algebra	3
semantics	3
type-classes	3
type-inference	3
unix	3
verification	3
abductive-logic-programming	2
channel-theory	2
chr	2
classical-logic	2
copyright	2
debug	2
denotational-semantics	2
economics	2
encryption	2
filesystem	2
game-semantics	2
kleene-algebra	2
lcm	2
model-finding	2
monad	2
observational-equivalence	2
ontology	2
operational-semantics	2
optimization	2
parallel-programming	2
philosophy	2
planning	2
provability	2
slacs2007	2
specialization	2
thermodynamics	2
vaguness	2
algebraic-geometry	1
algorithm	1
answer-set-programming	1
arithmetic	1
arrow	1
baysian-network	1
bdd	1
bignum	1
bug	1
category-thoery	1
chu-space	1
cloud	1
compression	1
constructivity	1
context-free-grammer	1
database	1
deep-inference	1
design-by-contract	1
determinacy	1
dialgebra	1
diff	1
e-mail	1
expression-problem	1
fft	1
finance	1
fix-point	1
functional-logic-programming	1
graph-rewriting	1
gui	1
higher-order-logic	1
history	1
information-theory	1
linear-programming	1
machine-code	1
maude	1
module-system	1
network	1
nuclear-deterrence	1
number-theory	1
ocaml	1
pretty-printing	1
prolog	1
quickcheck	1
refactoring	1
region	1
scala	1
self-reference	1
semantic-web	1
shell-programming	1
smt	1
soft-typing	1
software-engineering	1
stage-calculus	1
static-checking	1
stg	1
strictness-analysis	1
temporal-logic	1
termination	1
testing	1
tex	1
web	1
www2005	1

msakai's logic [28 articles] Export

msakai's tags