scientific article; zbMATH DE number 3304881

Recommendations

Introduction to mathematical logic
Introduction to mathematical logic
Introduction to mathematical logic
Einführung in die mathematische Logik
Introduction to mathematical logic
scientific article; zbMATH DE number 930362
Introduction to mathematical logic
scientific article; zbMATH DE number 3316009
Mathematical logic. An introduction (to appear)

Cited in

(only showing first 100 items - show all)

Complex structures and composite models - An essay on methodology
Recursive categoricity and recursive stability
On the complexity of theories of permutations
Domain-independent formulas and databases
The syntax of nonstandard analysis
On interpretation of inconsistent theories
A theory of implementation and refinement in timed Petri nets
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
Non-monotonic logic. I
Generalized fuzzy set systems and particularization
Intuitionist type theory and the free topos
Difference measurement spaces
Contributions to foundations of probability calculus on the basis of the modal logical calculus MC(nu) or MC*(nu)
Logical number theory I. An introduction
Map theory
The interpreted type-free modal calculus MC^. III: Ordinals and cardinals im MC^
Holographic or Fourier logic
A new approach to the symbolic factorization of multivariate polynomials
Consistency property and model existence theorem for second order negative languages with conjunctions and quantifications over sets of cardinality smaller than a strong limit cardinal of denumerable cofinality
The elimination of descriptions from A. Bressan's modal language \(ML^\nu\) on which the logical calculus \(MC^\nu\) is based
Recursive query processing: The power of logic
The category of complete lattices as a category of algebras
What robots can do: robot programs and effective achievability
Syntactical treatments of propositional attitudes
Elements of intuitionistic fuzzy logic. I
Remark on the intuitionistic fuzzy logics
A derived algorithm for evaluating -expressions over abstract sets
Gödel's incompleteness theorem
Limited reasoning in first-order knowledge bases
A qualitative fuzzy possibilistic logic
The Qu-Prolog unification algorithm: formalisation and correctness
Monadic logic programs and functional complexity
The interpreted type-free modal calculus MC\(^\infty\). I: The type free extensional calculus EC\(^\infty\) involving individuals, and the interpreted language ML\(^\infty\) on which MC\(\infty\) is based
On fuzzification of Tarski's fixed point theorem without transitivity
Agenda control for heterogeneous reasoners
Safe beliefs for propositional theories
Rough mereology: A new paradigm for approximate reasoning
A logic for reasoning about probabilities
Sentient arithmetic and Gödel's theorems
Groups of order-automorphisms of the rationals with prescribed scale type
A data structure formalization through generating function
The interpreted type-free modal calculus MC^. II: Foundations of MC^
Propositional calculus under adjointness
On some generalizations of the primitive recursive arithmetic
Bayesian estimation and the Kalman filter
Ackermann functions and transfinite ordinals
A comparative study of Tarski's fixed point theorems with the stress on commutative sets of \(\mathbf{L}\)-fuzzy isotone maps with respect to transitivities
Do I know \(\Omega \)? An I iomatic model of awareness and knowledge
Mathematical logic. An introduction (to appear)
An extension of the stable semantics via Lukasiewicz logic
Intuitionistic fuzzy interpretations of Barcan formulas
The neglect of epistemic considerations in logic: the case of epistemic assumptions
Invariance to ordinal transformations in rank-aware databases
From memories to inductively derived views: a constructive approach
Succinct definitions in the first order theory of graphs
Languages of logic and their applications
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
Local theory of sets as a foundation for category theory and its connection with the Zermelo-Fraenkel set theory
Referential logic of proofs
On paraconsistent extensions of C₁
The semantics of induction and the possibility of complete systems of inductive inference
Hypothesis generation by machine
\(\aleph_0\)-categoricity of groups
Type data bases with incomplete information
Indexical knowledge and robot action -- a logical account
Classical logic is not uniquely characterizable
Associative processors as a tool for maximal parallelism
scientific article; zbMATH DE number 3134286 (Why is no real title available?)
scientific article; zbMATH DE number 4200161 (Why is no real title available?)
scientific article; zbMATH DE number 4200163 (Why is no real title available?)
Acerca de la teoría de los números transfinitos de Cantor, de 1874 a 1940
scientific article; zbMATH DE number 5500964 (Why is no real title available?)
scientific article; zbMATH DE number 3907742 (Why is no real title available?)
An observationally complete program logic for imperative higher-order functions
The foundations of the logic ofN-tuples
On two complete sets in the analytical and the arithmetical hierarchies
AEPL: An extensible programming language†
Consistency proof without transfinite induction for a formal system for turing machines
Categorical pairs and the indicative shift
Number systems with simplicity hierarchies: a generalization of Conway's theory of surreal numbers. II
scientific article; zbMATH DE number 4114587 (Why is no real title available?)
Categoricity
A RESONANCE MODEL OF LOGIC
Plausible reasoning: a first-order approach
A family of genuine and non-algebraisable C-systems
On a generalized iteration method with applications to fixed point theorems and elliptic systems involving discontinuities
Three different formalisations of Einstein's relativity principle
On axiom systems of propositional calculi, IV
An axiomatic explanation of complete self-reproduction
Ganzgeschlossene und prädikatengeschlossene Logiken I
A formalization of measurement scale forms
A Markov Algorithm Interpreter
scientific article; zbMATH DE number 970832 (Why is no real title available?)
Axioms for a theory of semantic equivalence
A logical framework for depiction and image interpretation
Goals and benchmarks for automated map reasoning
An open formalism against incompleteness
On a synonymy relation for extensional first order theories. I: A notion of synonymy
Fuzzy logic programming
Fuzzy control as a fuzzy deduction system

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5586197)