Search results for "Takeuti"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
62	Wilfried Buchholz	Explaining the Gentzen-Takeuti reduction steps: a second-order system.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03F05, 03F15
44	Olivier Hermant, James Lipton	A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.	CSL	2008	DBLP DOI BibTeX RDF
44	Matthias Baaz, Richard Zach	Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic.	CSL	2000	DBLP DOI BibTeX RDF
40	Bruno Barras, Thierry Coquand, Simon Huber	A generalization of the Takeuti-Gandy interpretation.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
40	Mitsuhiro Okada	A Simple Relationship between Buchholz's New System of Ordinal Notations and Takeuti's System of Ordinal Diagrams.	J. Symb. Log.	1987	DBLP DOI BibTeX RDF
36	Rostislav Horcík, Petr Cintula	Product L ukasiewicz Logic.	Arch. Math. Log.	2004	DBLP DOI BibTeX RDF	u logic, Takeuti, Titani logic, product MV-algebra, fuzzy logic, logic, many-valued logic, MV-algebra
33	Izumi Takeuti, Tomoko Adachi	Secret Sharing Scheme with Perfect Concealment.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
33	Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida	Workflows with Passbacks and Incremental Verification of Their Correctness.	IEICE Trans. Inf. Syst.	2012	DBLP DOI BibTeX RDF
33	Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida	Syntax and Semantics of Workflows That Include Passbacks.	ICSEA	2010	DBLP DOI BibTeX RDF
33	Masayuki Kimishima, S. Mizuno, T. Seki, H. Takeuti, Haruki Nagami, Hideki Shirasu, Y. Haraguti, J. Okayasu, M. Nakanishi	A high density small size RF test module for high throughput multiple resource testing.	ITC	2010	DBLP DOI BibTeX RDF
33	Kazuko Takahashi, Takao Sumitomo, Izumi Takeuti	On Embedding a Qualitative Representation in a Two-Dimensional Plane.	Spatial Cogn. Comput.	2008	DBLP DOI BibTeX RDF
33	Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi	Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.	ICSEA	2008	DBLP DOI BibTeX RDF
33	Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi	Workflow Diagrams Based on Evidence Life Cycles.	JCKBSE	2008	DBLP DOI BibTeX RDF
33	Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi	Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency.	ICEIS (3-2)	2008	DBLP BibTeX RDF
33	D. F. Takeuti, M. N. Tirolli, C. L. Danieli, Marco Antonio Robert Alves, Edmundo S. Braga, P. H. L. de Faria	Fabrication of silicon field-emission arrays using masks of amorphous hydrogenated carbon films.	Microelectron. J.	2007	DBLP DOI BibTeX RDF
33	Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi	Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams.	ICSEA	2007	DBLP DOI BibTeX RDF
33	Marco Antonio Robert Alves, D. F. Takeuti, Edmundo S. Braga	Fabrication of sharp silicon tips employing anisotropic wet etching and reactive ion etching.	Microelectron. J.	2005	DBLP DOI BibTeX RDF
33	Izumi Takeuti	Transition Systems over Continuous Time-Space.	CCA	2004	DBLP DOI BibTeX RDF
33	Masahiko Sato 0001, Yukiyoshi Kameyama, Izumi Takeuti	CAL: A Computer Assisted Learning System for Computation and Logic.	EUROCAST	2001	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Gödel Sentences of Bounded Arithmetic.	J. Symb. Log.	2000	DBLP DOI BibTeX RDF
33	Izumi Takeuti	Pruning Terms for Principal Type Assignment.	CATS	2000	DBLP DOI BibTeX RDF
33	Izumi Takeuti	Effective Fixed Point Theorem over a Non-computably Separable Metric Space.	CCA	2000	DBLP DOI BibTeX RDF
33	Izumi Takeuti	An Axiomatic System of Parametricity.	Fundam. Informaticae	1998	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Frege Proof System and TNCdegree.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
33	Gaisi Takeuti, Masahiro Yasumoto	Forcing on Bounded Arithmetic II.	J. Symb. Log.	1998	DBLP DOI BibTeX RDF
33	Izumi Takeuti	A Type Theory for Cyclic Strcture.	Fuji International Symposium on Functional and Logic Programming	1998	DBLP BibTeX RDF
33	Izumi Takeuti	An Axiomatic System of Parametricity.	TLCA	1997	DBLP DOI BibTeX RDF
33	Sachio Hirokawa, Yuichi Komori, Izumi Takeuti	A reduction rule for Peirce formula.	Stud Logica	1996	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Separations of Theories in Weak Bounded Arithmetic.	Ann. Pure Appl. Log.	1995	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	RSUV isomorphisms for TACi, TNCi and TLS.	Arch. Math. Log.	1995	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Grzegorcyk's Hierarchy and Iep Sigma1.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	The Critical Number of a Variable in a Function.	J. Symb. Log.	1994	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Frege Proof System and TNC°.	LCC	1994	DBLP DOI BibTeX RDF
33	Jan Krajícek, Gaisi Takeuti	On Induction-Free Provability.	Ann. Math. Artif. Intell.	1992	DBLP DOI BibTeX RDF
33	Peter Clote, Gaisi Takeuti	Bounded Arithmetic for NC, ALogTIME, L and NL.	Ann. Pure Appl. Log.	1992	DBLP DOI BibTeX RDF
33	Gaisi Takeuti, Satoko Titani	Fuzzy logic and fuzzy set theory.	Arch. Math. Log.	1992	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	A Second Order Version of Si2 and U12.	J. Symb. Log.	1991	DBLP DOI BibTeX RDF
33	Jan Krajícek, Pavel Pudlák, Gaisi Takeuti	Bounded Arithmetic and the Polynomial Hierarchy.	Ann. Pure Appl. Log.	1991	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	S3i andV2i(BD).	Arch. Math. Log.	1990	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Boolean Simple Groups and Boolean Simple Rings.	J. Symb. Log.	1988	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Bounded arithmetic and truth definition.	Ann. Pure Appl. Log.	1988	DBLP DOI BibTeX RDF
33	Gaisi Takeuti, Satoko Titani	Globalization of intui tionistic set theory.	Ann. Pure Appl. Log.	1987	DBLP DOI BibTeX RDF
33	Gaisi Takeuti, Satoko Titani	Global intuitionistic analysis.	Ann. Pure Appl. Log.	1986	DBLP DOI BibTeX RDF
33	Peter Clote, Gaisi Takeuti	Exponential Time and Bounded Arithmetic.	SCT	1986	DBLP DOI BibTeX RDF
33	Gaisi Takeuti, Satoko Titani	Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.	J. Symb. Log.	1984	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	A Transfer Principle in Harmonic Analysis.	J. Symb. Log.	1979	DBLP DOI BibTeX RDF
33	Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti	Meeting of the Association for Symbolic Logic: Chicago, 1977.	J. Symb. Log.	1978	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Meetings of the Association for Symbolic Logic.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
33	Shoji Maehara, Gaisi Takeuti	Two Interpolation Theorems for a pi11 Predicate Calculus.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	Transcendence of Cardinals.	J. Symb. Log.	1965	DBLP DOI BibTeX RDF
33	Gaisi Takeuti	A Formalization of the Theory of Ordinal Numbers.	J. Symb. Log.	1965	DBLP DOI BibTeX RDF
22	Agata Ciabattoni, George Metcalfe	Density Elimination and Rational Completeness for First-Order Logics.	LFCS	2007	DBLP DOI BibTeX RDF
22	Klaus Aehlig, Arnold Beckmann	Propositional Logic for Circuit Classes.	CSL	2007	DBLP DOI BibTeX RDF
22	Klaus Aehlig, Stephen A. Cook, Phuong Nguyen	Relativizing Small Complexity Classes and Their Theories.	CSL	2007	DBLP DOI BibTeX RDF
22	Agata Ciabattoni	A proof-theoretical investigation of global intuitionistic (fuzzy) logic.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Modal predicate logics, Hypersequent calculi, Globalization, Cut-elimination
22	Petr Cintula	Advances in the LPi and LPi1/2i logics.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
22	Francesc Esteva, Lluís Godo, Franco Montagna	The LPL\Pi and LP1/2 L Pi 1/2 logics: two complete fuzzy systems joining Lukasiewicz and Product Logics.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
22	Toshiyasu Arai	Ordinal diagrams for recursively Mahlo universes.	Arch. Math. Log.	2000	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03F15
22	Toshiyasu Arai	Consistency proof via pointwise induction.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03F15, 03F30, 03F35
22	Masahiro Hamano, Mitsuhiro Okada	A direct independence proof of Buchholz's Hydra Game on finite labeled trees.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification: 03F03, 03F35, 03F05