Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Ryo Takemura

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity

Journal of Symbolic Logic
PhilosophyLogic
2010English

Related publications

Linear Delay Enumeration and Monadic Second-Order Logic

Discrete Applied Mathematics
CombinatoricsApplied MathematicsDiscrete Mathematics
2009English

A Denotational Semantics for First-Order Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

A Linear-Logic Semantics for Constraint Handling Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

The Undecidability of Second Order Linear Logic Without Exponentials

Journal of Symbolic Logic
PhilosophyLogic
1996English

A First-Order Conditional Logic With Qualitative Statistical Semantics

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Higher-Order Distributions for Differential Linear Logic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Two-Variable Logic With Counting and a Linear Order

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2016English

A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic

Bulletin of the American Mathematical Society
1966English

Second Order Phase Transitions

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy