VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
Abstract algebraic logic	Definability of truth predicates in abstract algebraic logic Generalizing the Leibniz and Suszko operators Congruential deductive systems associated with equationally orderable varieties On logics of varieties and logics of semilattices
admissible rule	A meta-Logic of multiple-conclusion rules
admissible rules	Admissible rules and almost structural completeness in some first-order modal logics Bases for admissible rules for fragments of RMt The Admissible Rules of Subframe Logics Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics
affine group over the integers	Classification of germinal MV-algebras
algebra	Relatively filtral quasivarieties
algebraic counterpart	On logics of varieties and logics of semilattices
Algebraic logic	Many-valued modal logic over residuated lattices via duality
Algebraic semantics	On Pocrims and Hoops Axiomatising a fuzzy modal logic over the standard product algebra
Algebraizable logics	Generalizing the Leibniz and Suszko operators
amalgamation property	On tensor product in Lukasiewicz logic
approximate reasoning	An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare
Arithmetical complexity	Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Axiomatization of Admissible Rules	Bases for admissible rules for fragments of RMt
B
back and forth	Advances on elementary equivalence in model theory of fuzzy logics
Banzhaf index	Constructing many-valued logical functions with small influence of their variables
bases for admissible rules	Admissible rules and almost structural completeness in some first-order modal logics
Belnap-Dunn logic	De Morgan logics with a notion of inconsistency
Bialethism	Truth degrees in the interval [-1,1] for the librationist system $\pounds$.
BiFL-algebras	Embeddings into BiFL-algebras and conservativity
Bitopological Semantics	Bitopological Duality and Three-valued Logic
BL	Introducing an exotic MTL-chain
boolean-valued model	Boolean-valued judgment aggregation
C
canonical formulas	Canonical formulas for k-potent residuated lattices
chaos theory	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
Chaotic Liar	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
Church-Henkin type theory	Church-style type theories over finitary weakly implicative logics
Co-NP completeness	Poof Search and Co-NP completeness for Many-Valued Logics
collective coin flipping	Constructing many-valued logical functions with small influence of their variables
complete semilattice	Semantic information and fuzziness
completely order reflecting	Definability of truth predicates in abstract algebraic logic
completion	Embedding partially ordered sets into distributive lattices
completions	Cut and completion?
Congruential logics	Congruential deductive systems associated with equationally orderable varieties
Consequence relation	Interpreting Lukasiewicz logic into Intuitionistic logic
conservativity	A semantic approach to conservativity Embeddings into BiFL-algebras and conservativity
construction	Recent advances in the structural description of involutive FL$_e$-chains
contradiction	De Morgan logics with a notion of inconsistency
Coupling	Coupling games for Lukasiewicz logic
cut-elimination	Cut and completion? Cut-free calculus for second-order {G\"odel} logic
D
de Morgan algebras	De Morgan logics with a notion of inconsistency
de Morgan logic	De Morgan logics with a notion of inconsistency
de Morgan negation	De Morgan logics with a notion of inconsistency
decidability	Decidability of order-based modal logics Trakhtenbrot theorem and first-order axiomatic extensions of MTL
decomposition	Recent advances in the structural description of involutive FL$_e$-chains
definability of truth	Definability of truth predicates in abstract algebraic logic
degrees of truth	A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic Ordinal foundation for Lukasiewicz semantics Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
Densification	Densification via polynomial extensions
Disjunction Property	The Admissible Rules of Subframe Logics
distributed system	Five-valued LTL for Runtime Verification
distributive lattice	Embedding partially ordered sets into distributive lattices
domain	Semantic information and fuzziness
duality	Bitopological Duality and Three-valued Logic
dynamical systems	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
E
elementary equivalence	Advances on elementary equivalence in model theory of fuzzy logics
embedding	Embeddings into BiFL-algebras and conservativity
equational base	Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
equational translation	Definability of truth predicates in abstract algebraic logic
equationally definable	Definability of truth predicates in abstract algebraic logic
Equationally orderable quasivarieties	Congruential deductive systems associated with equationally orderable varieties
F
filtrality	Relatively filtral quasivarieties
finite automata	A method for generalizing finite automata arising from Stone-like dualities
Finite model property	Decidability of order-based modal logics
Finite model theory	Trakhtenbrot theorem and first-order axiomatic extensions of MTL
first-order modal logic	Admissible rules and almost structural completeness in some first-order modal logics
first-order predicate fuzzy logics	Advances on elementary equivalence in model theory of fuzzy logics
five-valued LTL	Five-valued LTL for Runtime Verification
FL-algebras	The lattice of varieties generated by small residuated lattices
FLew-algebra	On satisfiability of terms in FLew-algebras
fMV-algebra	MV-algebras with product and the Pierce-Birkhoff conjecture
Foundations of Mathematics	Truth degrees in the interval [-1,1] for the librationist system $\pounds$.
fractals	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
fuzzy likelihood	Qualified Syllogisms with Fuzzy Predicates
fuzzy logic	Coupling games for Lukasiewicz logic Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare
fuzzy logics	A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic
Fuzzy modal logic	Axiomatising a fuzzy modal logic over the standard product algebra
fuzzy probability	Qualified Syllogisms with Fuzzy Predicates
fuzzy quantification	Qualified Syllogisms with Fuzzy Predicates
fuzzy usuality	Qualified Syllogisms with Fuzzy Predicates
G
germinal ideal	Classification of germinal MV-algebras
Godel logic	A method for generalizing finite automata arising from Stone-like dualities
Gödel logics	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences Decidability of order-based modal logics
H
healthcare	An application of distance-based approximate reasoning for diagnostic questionnaires in healthcare
Heyting algebra	Interpreting Lukasiewicz logic into Intuitionistic logic
higher-order logic	Church-style type theories over finitary weakly implicative logics
hoops	On Pocrims and Hoops
HS-posets	The lattice of varieties generated by small residuated lattices
hypersequents	Cut-free calculus for second-order {G\"odel} logic
I
Idempotent Semiring	Densification via polynomial extensions
identity	Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
implicitly definable	Definability of truth predicates in abstract algebraic logic
inconsistency	De Morgan logics with a notion of inconsistency
indiscernible	Definability of truth predicates in abstract algebraic logic
information system	Semantic information and fuzziness
Intermediate Logics	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences The Admissible Rules of Subframe Logics
intrinsic variety	On logics of varieties and logics of semilattices
intuitionistic first-order theories	A semantic approach to conservativity
intuitionistic logic	Interpreting Lukasiewicz logic into Intuitionistic logic Canonical formulas for k-potent residuated lattices
involutive residuated lattice	Recent advances in the structural description of involutive FL$_e$-chains
J
Judgment Aggregation	Boolean-valued judgment aggregation
K
Kripke frames	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
Kripke models	Cut and completion? A semantic approach to conservativity
L
Leibniz congruence	Definability of truth predicates in abstract algebraic logic
Leibniz hierarchy	Definability of truth predicates in abstract algebraic logic
Leibniz operator	Generalizing the Leibniz and Suszko operators
Liar Paradox	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
Librationism	Truth degrees in the interval [-1,1] for the librationist system $\pounds$.
limitative theorems	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
logic	Truth degrees in the interval [-1,1] for the librationist system $\pounds$.
Logistic Liar	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
Lowenheim-Skolem theorems	Advances on elementary equivalence in model theory of fuzzy logics
Lukasiewicz formulas	Constructing many-valued logical functions with small influence of their variables
Lukasiewicz logic	Connecting Fuzzy Sets and Pavelka's Fuzzy Logic On tensor product in Lukasiewicz logic The space of directions of a polyhedron Coupling games for Lukasiewicz logic Ordinal foundation for Lukasiewicz semantics Interpreting Lukasiewicz logic into Intuitionistic logic
M
Many Valued Logics	Poof Search and Co-NP completeness for Many-Valued Logics
many-valued logic	Boolean-valued judgment aggregation
Many-valued logics	Decidability of order-based modal logics Trakhtenbrot theorem and first-order axiomatic extensions of MTL
Many-valued modal logic	Many-valued modal logic over residuated lattices via duality
mathematical fuzzy logic	Connecting Fuzzy Sets and Pavelka's Fuzzy Logic Introducing an exotic MTL-chain Advances on elementary equivalence in model theory of fuzzy logics
meta-logic	A meta-Logic of multiple-conclusion rules
minimal truth	Definability of truth predicates in abstract algebraic logic
Modal logics	Decidability of order-based modal logics
model theory	Advances on elementary equivalence in model theory of fuzzy logics
monadic logic	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
MTL	Introducing an exotic MTL-chain
multiple-conclusion rule	A meta-Logic of multiple-conclusion rules
MV-algebra	Connecting Fuzzy Sets and Pavelka's Fuzzy Logic The space of directions of a polyhedron On the Logic of Perfect MV-algebras Semantial and syntactial charaterisation of some extensions of the class of MV-algebras Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics MV-algebras with product and the Pierce-Birkhoff conjecture Interpreting Lukasiewicz logic into Intuitionistic logic
MV-algebras	Classification of germinal MV-algebras
N
Natural duality	Many-valued modal logic over residuated lattices via duality
negation	De Morgan logics with a notion of inconsistency
nonmonotonic reasoning	Qualified Syllogisms with Fuzzy Predicates
O
ordinal foundation	Ordinal foundation for Lukasiewicz semantics
Ordinals	Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
P
P-compatible identity	Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
Paraconsistent Logic	De Morgan logics with a notion of inconsistency
paraconsistent logics	A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic
paraconsistent negation	De Morgan logics with a notion of inconsistency
Paradoxes	Truth degrees in the interval [-1,1] for the librationist system $\pounds$.
partially ordered set	Embedding partially ordered sets into distributive lattices
Perfect MV-algebra	On the Logic of Perfect MV-algebras
piecewise polynomial functions	MV-algebras with product and the Pierce-Birkhoff conjecture
Pierce-Birkhoff conjecture	MV-algebras with product and the Pierce-Birkhoff conjecture
pocrims	On Pocrims and Hoops
polyhedral geometry	The space of directions of a polyhedron Interpreting Lukasiewicz logic into Intuitionistic logic
Polynomial extension	Densification via polynomial extensions
Product logic	Axiomatising a fuzzy modal logic over the standard product algebra
proof search	Poof Search and Co-NP completeness for Many-Valued Logics
proof theory	Poof Search and Co-NP completeness for Many-Valued Logics Undecidability of consequence relation in Full Non-associative Lambek Calculus
propositional logic	A method for generalizing finite automata arising from Stone-like dualities
Protoalgebraic logics	Generalizing the Leibniz and Suszko operators
protodisjunction	Definability of truth predicates in abstract algebraic logic
Q
Qualified syllogisms	Qualified Syllogisms with Fuzzy Predicates
quasivarieties	Relatively filtral quasivarieties
Quasivariety	Quasivarieties of MV-algebras and structurally complete Lukasiewicz logics
R
R-Mingle	Bases for admissible rules for fragments of RMt
reductio ad contradictionem	De Morgan logics with a notion of inconsistency
Refutation	A meta-Logic of multiple-conclusion rules
relevance logics	A Semi-relevant, Paraconsistent Dual of {\L}ukasiewicz Logic
relevant logic	Semantic information and fuzziness
residuated frames	Embeddings into BiFL-algebras and conservativity
Residuated lattice	Densification via polynomial extensions
Residuated lattices	The lattice of varieties generated by small residuated lattices Many-valued modal logic over residuated lattices via duality Embeddings into BiFL-algebras and conservativity Canonical formulas for k-potent residuated lattices
runtime verification	Five-valued LTL for Runtime Verification
S
satisfiability	On satisfiability of terms in FLew-algebras
scalar extension property	On tensor product in Lukasiewicz logic
Scott-continuous function	Semantic information and fuzziness
second-order Godel logic	Cut-free calculus for second-order {G\"odel} logic
selfextensional logics	On logics of varieties and logics of semilattices
semantic information	Semantic information and fuzziness
semantic paradoxes	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox
semilattices	On logics of varieties and logics of semilattices
Semimodule	Densification via polynomial extensions
semisimple MV-algebras	On tensor product in Lukasiewicz logic
sequent calculi	Cut and completion?
Sequents of Relations	Poof Search and Co-NP completeness for Many-Valued Logics
spectral space	The space of directions of a polyhedron
Standard completeness	Densification via polynomial extensions
Stone duality	A method for generalizing finite automata arising from Stone-like dualities
Stone-Priestley duality	The space of directions of a polyhedron
Strong Entailment	Bitopological Duality and Three-valued Logic
Structurally completeness	On the Logic of Perfect MV-algebras
subdirectly irreducible algebras	Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
substructural logics	Undecidability of consequence relation in Full Non-associative Lambek Calculus Canonical formulas for k-potent residuated lattices
subvarieties	Canonical formulas for k-potent residuated lattices
Suszko operator	Generalizing the Leibniz and Suszko operators
T
tag systems	Undecidability of consequence relation in Full Non-associative Lambek Calculus
tensor algebra	On tensor product in Lukasiewicz logic
tensor product	On tensor product in Lukasiewicz logic
Term	On satisfiability of terms in FLew-algebras
Three-value logic	Bitopological Duality and Three-valued Logic
Trakhtenbrot theorem	Trakhtenbrot theorem and first-order axiomatic extensions of MTL
truth predicates	Definability of truth predicates in abstract algebraic logic
Truth-equational logics	Generalizing the Leibniz and Suszko operators
two-player games	Coupling games for Lukasiewicz logic
U
undecidability	Undecidability of consequence relation in Full Non-associative Lambek Calculus
Uninorm Logic	Densification via polynomial extensions
universal translation	Definability of truth predicates in abstract algebraic logic
universally definable	Definability of truth predicates in abstract algebraic logic
upper powerdomain	Semantic information and fuzziness
V
varieties	The lattice of varieties generated by small residuated lattices
variety	Semantial and syntactial charaterisation of some extensions of the class of MV-algebras
W
weakly implicative logic	Church-style type theories over finitary weakly implicative logics
Z
Zeno’s paradoxes	Chaotic Fuzzy Liars, Degrees of Truth, and Fractal Images of Paradox

Disclaimer | Powered by EasyChair Smart Program