European Summer Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:5966661
DOI10.2307/2275203zbMath0753.03002OpenAlexW2333776934MaRDI QIDQ5966661
No author found.
Publication date: 27 September 1992
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275203
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- Counting models in universal Horn classes
- Fragments of arithmetic
- Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator
- Results on the propositional \(\mu\)-calculus
- Polynomial size \(\Omega\)-branching programs and their computational power
- Definite descriptions
- Ordinal notations based on a weakly Mahlo cardinal
- Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability
- The decision problem for linear temporal logic
- On random models of finite power and monadic logic
- Superstable groups
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic
- On maximal intermediate logics with the disjunction property
- The modal logic of `all and only'
- A model for belief revision
- A note on syntactical and semantical functions
- The adequacy condition as a definition of elementary interpretation
- Reduced sub-powers and the decision problem for finite algebras in arithmetical varieties
- Primes and their residue rings in models of open induction
- A logic for default reasoning
- Information systems theoretical foundations
- Recursively saturated models generated by indiscernibles
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- 2-element matrices
- Partial inductive definitions
- The structure of decidable locally finite varieties
- Impossible possible worlds vindicated
- A semantical analysis of the calculi \(C_n\)
- Provability interpretations of modal logic
- Zur Deutung der intuitionistischen Logik
- Representations of integral relation algebras
- A note on Hallden-incompleteness
- The algebra of topology
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül
- The Gödel class with identity is unsolvable
- The undecidability of the recursively enumerable degrees
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC
- A Fast Parallel Algorithm for Determining All Roots of a Polynomial with Real Roots
- Orderings in Exponential Fields of Term Defined Functions
- Consistency results about filters and the number of inequivalent growth types
- Generalized quantifiers and natural language
- Non‐commutative intuitionistic linear logic
- Bemerkungen Zur Semantik Nicht‐Normaler Möglicher Welten
- Fuzzy sets
- The definition of random sequences
- Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
- Über die Rolle der transfiniten Schlußweisen in einer allgemeinen Idealtheorie
This page was built for publication: European Summer Meeting of the Association for Symbolic Logic
