2004 Summer Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3370624
DOI10.1017/S1079898600003383zbMath1080.03502OpenAlexW2314200632MaRDI QIDQ3370624
No author found.
Publication date: 8 February 2006
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1079898600003383
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Dimension of definable sets, algebraic boundedness and Henselian fields
- Model theory of modules
- Biclique decompositions and Hermitian rank
- A logic for default reasoning
- Solving systems of linear fuzzy equations
- A new recursion-theoretic characterization of the polytime functions
- Completeness theorem for Dummett's LC quantified and some of its extensions
- Fuzzy programming and linear programming with several objective functions
- Modal languages and bounded fragments of predicate logic
- A note on the axioms for differentially closed fields of characteristic zero
- On a canonical representation of fuzzy numbers
- A fuzziness measure for fuzzy numbers: Applications
- Lattices of suborders
- On subtractive varieties. I
- The strength of some Martin-Löf type theories
- A term rewriting characterization of the polytime functions and related complexity classes
- An effective version of Wilkie's theorem of the complement and some effective o-minimality results.
- Intuitionistic logic and implicit definability
- A fuzzy linear regression model with better explanatory power
- Locally finite varieties.
- Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
- Untersuchungen über das logische Schliessen. II
- Some aspects of generalized computability
- Soft computing in communications.
- The data type variety of stack algebras
- Proof-theoretic analysis of termination proofs
- Mal'cev categories and fibration of pointed objects
- Linear programming with fuzzy variables
- Proof-theoretic modal PA-completeness. II: The syntactic countermodel
- Localization of MV-algebras and \(lu\)-groups
- Uniform proofs as a foundation for logic programming
- Computable Boolean algebras
- Properties of ideals on the generalized Cantor spaces
- COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
- Positive abstraction and extensionality
- The consistency problem for positive comprehension principles
- Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
- A New Approach to the Activity-time Distribution in PERT
- ABSOLUTELY UBIQUITOUS STRUCTURES AND N0-CATEGORICAL GROUPS
- Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
- Constructive set theory
- The model theory of ordered differential fields
- An ideal game
- Undecidable extensions of Skolem arithmetic
- Variations on a theme by Weiermann
- The Uncertain Reasoner's Companion
- Sequent calculus in natural deduction style
- A classification of rapidly growing Ramsey functions
- Unification and Passive Inference Rules for Modal Logics
- An application of graphical enumeration to PA *
- Arithmetic of divisibility in finite models
- SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, II.
- Stability theory, permutations of indiscernibles, and embedded finite models
- Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic
- On the consistency of the Definable Tree Property on ℵ1
- On weakening the Deduction Theorem and strengthening Modus Ponens
- More on the Ehrenfeucht–Fraisse game of length ω1
- A sheaf representation and duality for finitely presented Heyting algebras
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- A definable nonstandard model of the reals
- Fuzzy sets
- Hierarchies of Boolean algebras
- On the Addressing Problem for Loop Switching
- Fuzzy linear systems
- Basic predicate calculus
- Topics in invariant descriptive set theory
- Derivation lengths and order types of Knuth--Bendix orders
This page was built for publication: 2004 Summer Meeting of the Association for Symbolic Logic
