1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644): Difference between revisions

@@ Property / cites work @@
+Program size in restricted programming languages
@@ Property / cites work: Program size in restricted programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Speaking about transitive frames in propositional languages
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Jacopini technique
@@ Property / cites work: On the Jacopini technique / rank @@
+Normal rank
@@ Property / cites work @@
+Some new results on easy lambda-terms
@@ Property / cites work: Some new results on easy lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Full intuitionistic linear logic
@@ Property / cites work: Full intuitionistic linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5689034
@@ Property / cites work: Q5689034 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy Logic and the Resolution Principle
@@ Property / cites work: Fuzzy Logic and the Resolution Principle / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE GENERAL THEORY OF RELATIONALMORPHISMS
@@ Property / cites work: ON THE GENERAL THEORY OF RELATIONALMORPHISMS / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Elementary Approach to the Fine Structure of <i>L</i>
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+On the problem of finding minimal programs for tables
+Normal rank
@@ Property / cites work @@
+Open theories, consistency and related results in fuzzy logic
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of KPM
@@ Property / cites work: Proof-theoretic analysis of KPM / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999386
@@ Property / cites work: Q3999386 / rank @@
+Normal rank
@@ Property / cites work @@
+Notation systems for infinitary derivations
@@ Property / cites work: Notation systems for infinitary derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of finite-state transformability
@@ Property / cites work: Degrees of finite-state transformability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856172
@@ Property / cites work: Q4856172 / rank @@
+Normal rank
@@ Property / cites work @@
+On parameter free induction schemas
@@ Property / cites work: On parameter free induction schemas / rank @@
+Normal rank
@@ Property / cites work @@
+Fine-grained opinion, probability, and the logic of full belief
+Normal rank
@@ Property / cites work @@
+Bounds for cut elimination in intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Contraction-free sequent calculi for intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q4002148
@@ Property / cites work: Q4002148 / rank @@
+Normal rank
@@ Property / cites work @@
+A typed logic of partial functions reconstructed classically
+Normal rank
@@ Property / cites work @@
+Similarity relations and fuzzy orderings
@@ Property / cites work: Similarity relations and fuzzy orderings / rank @@
+Normal rank
@@ Property / cites work @@
+L-fuzzy sets
@@ Property / cites work: L-fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard hulls of Banach spaces
@@ Property / cites work: Nonstandard hulls of Banach spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Neometric spaces
@@ Property / cites work: Neometric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Many-valued logic and mixed integer programming
@@ Property / cites work: Many-valued logic and mixed integer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4289327
@@ Property / cites work: Q4289327 / rank @@
+Normal rank
@@ Property / cites work @@
+Internal approach to external sets and universes. I: Bounded set theory
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342446
@@ Property / cites work: Q4342446 / rank @@
+Normal rank
@@ Property / cites work @@
+Lebesque measure zero subsets of the real line and an infinite game
+Normal rank
@@ Property / cites work @@
+Cardinal characteristics and the product of countably many infinite cyclic groups
+Normal rank
@@ Property / cites work @@
+Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Splittings
@@ Property / cites work: Splittings / rank @@
+Normal rank
@@ Property / cites work @@
+On Lusin's restricted continuum problem
@@ Property / cites work: On Lusin's restricted continuum problem / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation of analytic by Borel sets and definable countable chain conditions
+Normal rank
@@ Property / cites work @@
+A weak completeness theorem for infinite valued first-order logic
+Normal rank
@@ Property / cites work @@
+Q4331784
@@ Property / cites work: Q4331784 / rank @@
+Normal rank
@@ Property / cites work @@
+On variable separation in modal and superintuitionistic logics
+Normal rank
@@ Property / cites work @@
+Q4845457
@@ Property / cites work: Q4845457 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
+Normal rank
@@ Property / cites work @@
+Gentzen Games
@@ Property / cites work: Gentzen Games / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-predicate logic in computer science
@@ Property / cites work: Partial-predicate logic in computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628050
@@ Property / cites work: Q5628050 / rank @@
+Normal rank
@@ Property / cites work @@
+Global inductive definability
@@ Property / cites work: Global inductive definability / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Aristotle's syllogistic from the standpoint of modern formal logic
+Normal rank
@@ Property / cites work @@
+Systematization of finite many-valued logics through the method of tableaux
+Normal rank
@@ Property / cites work @@
+On alternation
@@ Property / cites work: On alternation / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic stack register machines
@@ Property / cites work: Nondeterministic stack register machines / rank @@
+Normal rank
@@ Property / cites work @@
+A complete many-valued logic with product-conjunction
+Normal rank
@@ Property / cites work @@
+Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
+Normal rank
@@ Property / cites work @@
+Completeness theorem for Dummett's LC quantified and some of its extensions
+Normal rank
@@ Property / cites work @@
+Logic and computational complexity. International workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Nonstandard characterization of pseudovarieties
@@ Property / cites work: Nonstandard characterization of pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+On pseudovarieties
@@ Property / cites work: On pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5615282
@@ Property / cites work: Q5615282 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-reference and modal logic
@@ Property / cites work: Self-reference and modal logic / rank @@
+Normal rank