1
0
0
(1 - 25 from 31
)
TACL : TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC
www.wikicfp.com
TACL : TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC
Zuzana Haniková & Petr Savicky, Distinguishing standard SBL‐algebras...
philpapers.org
Propositional fuzzy logics given by a combination of a continuous SBL t-norm with finitely many idempotents and of an involutive negation are investigated. A...
Zuzana Haniková - The Mathematics Genealogy Project
www.genealogy.math.ndsu.nodak.edu
Zuzana Haniková . MathSciNet. Ph.D. Charles University Dissertation: Mathematical and Metamathematical Properties of Fuzzy Logic. Mathematics Subject
Petr Hájek on Mathematical Fuzzy Logic | Franco Montagna | Apress
link.springer.com
This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing...
Beyond Two: Theory and Applications of Multiple-Valued Logic - Google...
books.google.ca
This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major...
Witnessed Years: Essays in Honour of Petr Hájek - Knihy Google
books.google.de
Readers of this volume are invited on a journey through a logician's life, as witnessed by his colleagues and friends. They will have the opportunity to...
Interpreting lattice-valued set theory in fuzzy set theory -...
researchr.org
Interpreting lattice-valued set theory in fuzzy set theory. Petr Hájek, Zuzana Haniková. Interpreting lattice-valued set theory in fuzzy set theory. Logic Journal of ...
[ ] Implicit definability of truth constants in Łukasiewicz...
arxiv.org
Authors:Zuzana Haniková. (Submitted on 23 Feb 2018). Abstract: In the framework of propositional {\L}ukasiewicz logic, a suitable notion of implicit definability, ...
Computer Science authors/titles Jan (310 skipped)
arxiv.org
Title: Term satisfiability in FL$_\mathrm{ew}$-algebras. Authors: Zuzana Haniková, Petr Savicky. Subjects: Logic in Computer Science (cs.LO); Logic (math.LO).
Petr Hájek, obituary - IIIA - CSICold-web-1.iiia.csic.es › files › pdfs › hajek_obituary_fss_v5
old-web-1.iiia.csic.es
fuzzy logic: Zuzana Haniková ([21]), Petr Cintula ([3]), and Libor Behounek. ([1]). The first two volumes of the Handbook of Mathematical Fuzzy Logic. (see [4]) ...
Fuzzy Sets and Systems | Lattice-Valued Logic and its Applications |...
www.sciencedirect.com
Zuzana Haniková. Pages Download PDF. Article preview. select article Measuring and repairing inconsistency in knowledge bases with graded truth. Research article Full text access Measuring and repairing inconsistency in knowledge bases with graded truth. David Picado Muiño.
dblp: Logic Journal of the IGPL, Volume 21
dblp.uni-trier.de
Bibliographic content of Logic Journal of the IGPL, Volume 21
dblp: Mathematical Logic Quarterly, Volume 54
dblp.uni-trier.de
Bibliographic content of Mathematical Logic Quarterly, Volume 54
Implicit definability of truth constants in Łukasiewicz logic |...
link.springer.com
In the framework of propositional Łukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring...
Zuzana Haniková - Citace Google Scholar
scholar.google.cz
Zuzana Haniková. researcher, Institute of Computer Science, Academy of Sciences of the Czech Republic. mathematical logic, theoretical computer science.
Zuzana Haniková - Študovňa Google
scholar.google.com
researcher, Institute of Computer Science, Academy of Sciences of the Czech Republic - Citované v 255 - mathematical logic - theoretical computer...
Zuzana Haniková - Google Scholar
scholar.google.de
researcher, Institute of Computer Science, Academy of Sciences of the Czech Republic - 255-mal zitiert - mathematical logic - theoretical computer...
Prague Log
www.cs.cas.cz
Prague Gathering of Logicians is an annual event upheld by the community of logicians in Prague, ... Zuzana Haniková (chair), Ondrej Majer, Igor Sedlár, ...
A Gathering of Prague-Based Logicians
www2.cs.cas.cz
@ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ A Gathering of Prague-Based Logicians ... Zuzana Haniková (Institute of Computer Science, Academy of Sciences of the Czech Republic) ...
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas...
yadda.icm.edu.pl
[38] Zuzana Haniková. Mathematical and Metamathematical Properties of Fuzzy Logic. PhD thesis, Charles University, Prague, Czech Republic, [
Special Issue of the Logic Journal of the IGPL: Non-Classical...
consequently.org
Special Issue of the Logic Journal of the IGPL on Non-Classical ... "Interpreting lattice-valued set theory in fuzzy set theory," Petr Hájek and Zuzana Haniková
SCEAS
sceas.csd.auth.gr
Stefano Aguzzoli, Brunella Gerla, Zuzana Haniková Complexity issues in basic logic. [Citation Graph (0, 0)][DBLP] Soft Comput., 2005, v:9, n:12, pp:
[ ] Implicit definability of truth constants in ...
128.84.21.199
Authors:Zuzana Haniková. (Submitted on 23 Feb 2018). Abstract: In the framework of propositional Łukasiewicz logic, a suitable notion of ...
On the complexity of propositional logics with an involutive negation...
www.sciweavers.org
On the complexity of propositional logics with an involutive negation - Let C be the propositional calculus given by a standard SBL-algebra; C is obtained...
TDGS - "Petr Hájek"
juliette.lsi.us.es
Logic Journal of the IGPL, 21(1): , Fetch | Report | Google · Interpreting lattice-valued set theory in fuzzy set theory · Petr Hájek, Zuzana Haniková.
All web results to the name "Zuzana Haniková"
Related search requests for Zuzana Haniková
Brunella Gerla Petr Hájek Amanda Vidal | Igor Sedlár |
People Forename "Zuzana" (2788) Name "Haniková" (1) |
sorted by relevance / date