Filters
Logic for all willing to think
This book is an introduction to mathematical logic intended for high school students and wider public. Main concepts of logic are introduced informally cover the predicate calculus, the predicate calculus and theor...
BA - Obecná matematika
- 2011 •
- B
Rok uplatnění
B - Odborná kniha
Uniform Interpolation in Provability Logics
calculi for the logics. The calculus for Godel-Lob’s logic GL is a multiset based variant of the standard sequent calculus, in the case of Grzegorczyk’s logic Grz, the calculus implements an expl...
BA - Obecná matematika
- 2016 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Substructural propositional dynamic logics
We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive Non-associative Lambek ...
Pure mathematics
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Transparent intensional logic a characteristica universalis and calculus ratiocinator
The book Transparent Intensional Logic as Characteristica Universalis and Calculus Ratiocinator provides the foundations of Transparent Intensional Logic (TIL exile. The book focuses on TIL as a logic sui generis. ...
Philosophy, Ethics and Religion
- 2015 •
- B
Rok uplatnění
B - Odborná kniha
Fuzzy Predicate Calculus and Fuzzy Rules.
The basic many-sorted fuzzy predicate calculus BLforall is presented and used to express and prove logical properties of 'fuzzy IF-THEN rules'....
BA - Obecná matematika
- 2000 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Frege, Peano and the Construction of a Logical Calculus
of a logical calculus. First, I claim that while Frege put the systematisation of the notion of inference at the forefront of his construction of an axiomatic logical system, Peano modelled his early logical syste...
Philosophy, History and Philosophy of science and technology
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Full Lambek Calculus with Contraction is Undecidable
We prove that the set of formulae provable in the full Lambek calculus with the structural rule of contraction is undecidable. In fact, we show that the positive fragment of this logic is undecidable....
BA - Obecná matematika
- 2016 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Tableaux for Maximum Satisfiability in Lukasiewicz Logic
We define a tableau calculus for solving the MaxSAT problem of 3-valued Łukasiewicz logic, and prove its soundness and completeness. The calculus can be naturally extended to other finitely-valued logics. Our contr...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Formalizing Data Mining with Association Rules
Main topics of the document: assocaition rules; data maining; logical calculus of association rules; FOFRADAR...
BA - Obecná matematika
- 2012 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Lambek Calculus with Conjugates
We study an expansion of the Distributive Non-associative Lambek Calculus with conjugates of the Lambek product operator and residuals of those conjugates. The resulting logic is well-motivated, under-investigated and difficult to t...
Pure mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
- 1 - 10 out of 10 327