Využijte web naplnoDíky cookies pro vás bude prohlížení stránek příjemnější a jednodušší. Ke zpracování některých z nich potřebujeme váš souhlas, který dáte kliknutím na „Přijmout vše“. Odmítnutím se načtou jen nezbytně nutné cookies. Více informací o cookies a jejich nastavení.
Přijmout vše Odmítnout
Výběr cookies

OU > O univerzitě > Struktura univerzity > Fakulty a ústavy > Ústav pro výzkum a aplikace fuzzy modelování

Libor Běhounek


titul, jméno, příjmení:
Mgr. Libor Běhounek, Ph.D.
místnost, podlaží, budova:
C 602, budova C
funkce:
obor činnosti:
matematická logika
katedra / středisko (fakulta):
Centrum excelence IT4Innovations, divize OU, Ústav pro výzkum a aplikace fuzzy modelování
telefon, mobil:
553 46 1406
e-mail:



Nenalezen žádný záznam.



A graded semantics for counterfactuals
Libor Běhounek, Ondrej Majer
Rok: 2021, Synthese
článek v odborném periodiku
 
Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku
 
A minimalistic many-valued theory of types
Libor Běhounek
Rok: 2017, J LOGIC COMPUT
článek v odborném periodiku
 
Maxima and minima in fuzzified linear orderings
Libor Běhounek
Rok: 2016, FUZZY SET SYST
článek v odborném periodiku
 

A bilattice-valued free logic with graded gaps and gluts
Libor Běhounek, Antonín Dvořák
Rok: 2023
prezentace (kongresy, sympózia, konference, workshopy)
 
Czech Gathering of Logicians 2023
Libor Běhounek, Martina Daňková
Rok: 2023
uspořádání konference, workshopu
 
Free logic admitting truth-value gaps and gluts
Libor Běhounek, Antonín Dvořák
Rok: 2023
prezentace (kongresy, sympózia, konference, workshopy)
 
Free quantification in four-valued and fuzzy bilattice-valued logics
Libor Běhounek, Martina Daňková, Antonín Dvořák
Rok: 2023
stať ve sborníku
 
Relevant consequence relations: An invitation
Guillermo Badia, Libor Běhounek, Petr Cintula, Andrew Tedder
Rok: 2023, The Review of Symbolic Logic
článek v odborném periodiku
 
A Vopenka-style indistinguishability principle for formal fuzzy mathematics
Libor Běhounek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
A Vopěnka-style principle for fuzzy mathematics
Libor Běhounek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
Aggregation Operators with Undefined Inputs or Outputs
Libor Běhounek, Martina Daňková
Rok: 2022, INT J UNCERTAIN FUZZ
článek v odborném periodiku
 
Making the domains of fuzzy sets explicit
Libor Běhounek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
Some non-mainstream uses of fuzzy logic
Libor Běhounek
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
The Bandler-Kohout product of fuzzy relations with undefined membership degrees
Libor Běhounek, Martina Daňková
Rok: 2022
prezentace (kongresy, sympózia, konference, workshopy)
 
A graded semantics for counterfactuals
Libor Běhounek, Ondrej Majer
Rok: 2021, Synthese
článek v odborném periodiku
 
Do these degrees really go to eleven?
Libor Běhounek
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
On the connexivity of fuzzy counterfactuals
Libor Běhounek
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
On the connexivity of fuzzy counterfactuals
Libor Běhounek
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
Relevant consequence relations
Guillermo Badia, Libor Běhounek, Petr Cintula, Andrew Tedder
Rok: 2021
prezentace (kongresy, sympózia, konference, workshopy)
 
Sup-T Compositions of Partial Fuzzy Relations
Libor Běhounek, Martina Daňková
Rok: 2021
stať ve sborníku
 
A degree-theoretic framework for feasible knowledge
Libor Běhounek
Rok: 2020
stať ve sborníku
 
A many-valued semantics for multi-agent probabilistic-doxastic reasoning
Libor Běhounek
Rok: 2020
prezentace (kongresy, sympózia, konference, workshopy)
 
Fuzzy neighborhood semantics for multi-agent probabilistic reasoning in games
Martina Daňková, Libor Běhounek
Rok: 2020
stať ve sborníku
 
Fuzzy Relational Modalities Admitting Truth-Valueless Propositions
Libor Běhounek, Antonín Dvořák
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku
 
Matematická logika a teorie množin / Mathematical Logic and Set Theory
Libor Běhounek, Martina Daňková
Rok: 2020
učební texty, skripta, výukové programy, příručky
 
Multi-agent probabilistic-doxastic reasoning formalized in Lukasiewicz logic
Libor Běhounek
Rok: 2020
prezentace (kongresy, sympózia, konference, workshopy)
 
Variable-domain fuzzy sets - Part I
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku
 
Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku
 
Variable-domain fuzzy sets - Part II
Libor Běhounek, Martina Daňková
Rok: 2020, Fuzzy Sets and Systems
článek v odborném periodiku
 
A formalism for resource-sensitive epistemic logic
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
A fuzzy semantic model for multi-agent probabilistic reasoning
Martina Daňková, Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
A many-valued semantics for feasible knowledge
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
A probabilistic semantics for unknown fuzzy degrees with Monte Carlo approximation
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
Institute for Investigation of Artificial Intelligence (IIIA) CSIC
Libor Běhounek
Rok: 2019
působení v zahraničí
 
Missing Values and Dragonfly Operations in Fuzzy Relational Compositions
Martin Štěpnička, Thi Hong Nhung CAO, Libor Běhounek, Michal Burda, Aleš Dolný
Rok: 2019, INT J APPROX REASON
článek v odborném periodiku
 
Non-monotonic abstract multiset consequence relations
Libor Běhounek, Petr Cintula, Tomáš Lávička
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
Teaching 'Formal set theory' with regard to students' comprehension
Libor Běhounek
Rok: 2019
prezentace (kongresy, sympózia, konference, workshopy)
 
Extending Aggregation Functions for Undefined Inputs
Libor Běhounek, Martina Daňková
Rok: 2018
stať ve sborníku
 
Extending Aggregation Functions for Undefined Inputs
Libor Běhounek, Martina Daňková
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)
 
First-order fuzzy modal logic with variable domains
Libor Běhounek, Antonín Dvořák
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)
 
Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2018, Journal of Applied Non-Classical Logics
článek v odborném periodiku
 
Hájek-style modalities in fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)
 
Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Rok: 2018
stať ve sborníku
 
Kripke modalities with truth-functional gaps
Libor Běhounek, Antonín Dvořák
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)
 
Non-denoting terms in fuzzy logic: An initial exploration
Libor Běhounek, Antonín Dvořák
Rok: 2018
stať ve sborníku
 
Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation
Libor Běhounek, Antonín Dvořák
Rok: 2018
stať ve sborníku
 
Partial Fuzzy Modal Logic with a Crisp and Total Accessibility Relation
Libor Běhounek, Antonín Dvořák
Rok: 2018
prezentace (kongresy, sympózia, konference, workshopy)
 
A free semantics for fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)
 
A minimalistic many-valued theory of types
Libor Běhounek
Rok: 2017, J LOGIC COMPUT
článek v odborném periodiku
 
Determinate truth in fuzzy plurivaluationism
Libor Běhounek
Rok: 2017
stať ve sborníku
 
First-order fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)
 
Free quantification in fuzzy logic
Libor Běhounek
Rok: 2017
stať ve sborníku
 
Free quantification in fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)
 
Fuzzy intensional semantics
Libor Běhounek, Ondrej Majer
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)
 
On the interpretation of undefined degrees in partial fuzzy logic
Libor Běhounek
Rok: 2017
prezentace (kongresy, sympózia, konference, workshopy)
 
On the interpretation of undefined degrees in partial fuzzy logic
Libor Běhounek
Rok: 2017
stať ve sborníku
 
Zentralblatt Review: Della Stella, M.E., Guido, C.: Functional many-valued relations
Libor Běhounek
Rok: 2017
zveřejněné odborné posudky, recenze
 
Determinate truth in the fuzzy plurivaluationistic account of vagueness
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)
 
Formal calculi of fuzzy relations
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)
 
Fuzzy higher-order logic and higher-order vagueness
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)
 
Fuzzy solutions to classical problems
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)
 
Maxima and minima in fuzzified linear orderings
Libor Běhounek
Rok: 2016, FUZZY SET SYST
článek v odborném periodiku
 
Representing strategic games and their equilibria in many-valued logics
Libor Běhounek, Petr Cintula, Tomáš Kroupa, Christian Fermüller
Rok: 2016, LOG J IGPL
článek v odborném periodiku
 
Towards fuzzy partial set theory
Libor Běhounek, Martina Daňková
Rok: 2016
stať ve sborníku
 
Towards predicate fuzzy partial logic
Libor Běhounek
Rok: 2016
prezentace (kongresy, sympózia, konference, workshopy)
 
Fuzzy partial logic: combining graduality and undefinedness
Libor Běhounek, Vilém Novák
Rok: 2015
prezentace (kongresy, sympózia, konference, workshopy)
 
Graded dominance and related graded properties of fuzzy connectives
Libor Běhounek, Ulrich Bodenhofer, Petr Cintula, Susanne Saminger-Platz, Peter Sarkoci
Rok: 2015, FUZZY SET SYST
článek v odborném periodiku
 
Towards Fuzzy Partial Logic
Libor Běhounek, Vilém Novák
Rok: 2015
stať ve sborníku
 
Towards fuzzy partial logic of the first and higher orders
Libor Běhounek
Rok: 2015
prezentace (kongresy, sympózia, konference, workshopy)
 
A ground many-valued type theory and its extensions
Libor Běhounek
Rok: 2014
prezentace (kongresy, sympózia, konference, workshopy)
 
Church-style type theories over finitary weakly implicative logics
Libor Běhounek
Rok: 2014
prezentace (kongresy, sympózia, konference, workshopy)
 
In which sense is fuzzy logic a logic for vagueness?
Libor Běhounek
Rok: 2014, CEUR Workshop Proceedings
článek v odborném periodiku
 
Set theory and arithmetic in fuzzy logic
Libor Běhounek, Zuzana Haniková
Rok: 2014, Springer
kapitola v odborné knize
 
Technische Universitaet Wien
Libor Běhounek
Rok: 2014
působení v zahraničí
 
Technische Universitaet Wien
Libor Běhounek
Rok: 2013
působení v zahraničí
 
Technische Universitaet Wien
Libor Běhounek
Rok: 2011
působení v zahraničí
 
Relational compositions in Fuzzy Class Theory
Libor Běhounek, Martina Daňková
Rok: 2009, FUZZY SET SYST
článek v odborném periodiku
 
Johannes Kepler Universitaet Linz
Libor Běhounek
Rok: 2007
působení v zahraničí
 
Automated proofs for composition-based fuzzy relational notions
Martina Daňková, Libor Běhounek
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)
 
Automated proofs for composition-based fuzzy relational notions
Martina Daňková, Libor Běhounek
Rok: 2006
stať ve sborníku
 
Manchester University
Libor Běhounek
Rok: 2006
působení v zahraničí
 
Relation Compositions in Fuzzy Class Theory
Martina Daňková, Libor Běhounek
Rok: 2006
stať ve sborníku
 
Relation Compositions in Fuzzy Class Theory
Martina Daňková, Libor Běhounek
Rok: 2006
prezentace (kongresy, sympózia, konference, workshopy)
 
Johannes Kepler Universitaet Linz
Libor Běhounek
Rok: 2005
působení v zahraničí
 

Nenalezen žádný záznam.

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů

Zobrazit více záznamů



Autor
Název práce
Typ
Rok
Rašková Monika
Množinové pojmy v trojhodnotové Lukasiewiczově logice
diplomová
2016



Metamatematika substrukturálních modálních logik
Hlavní řešitel
Mgr. Libor Běhounek, Ph.D.
Období
1/2022 - 12/2024
Poskytovatel
Standardní projekt GA ČR
Stav
řešený
 

facebook
social hub