Aldo V. Figallo and Claudia Sanza
Free 3x3 – valued Lukasiewicz Algebras with Negation

Aldo V. Figallo, Inés Pascual and Alicia Ziliani
Strong Monadic Distributive Lattices

Alexandra Soskova and Ivan Soskov
Some applications of Jump Inversion Theorem for the Degree Spectra

Anastasios M. Fotinopoulos and Vassilis Papadopoulos
Semantics for Horn Contraction

Andrew Schumann
p-adic Valued Sequent Predicate Logic

Anton Zinoviev
Negation as Failure is Finite Controllable

Antonis Achilleos, Michael Lampis and Valia Mitsou
On the Parameterized Complexity of Satisfiability and Validity for Modal Logic

Bart Van Gasse, Chris Cornelis, Glad Deschrijver and Etienne E. Kerre
Filters of interval-valued residuated lattices

Bredikhin Dmitry
On reducts of Tarski’s algebras of relations

Can Baskent
A Geometrical - Epistemic Approach to Lakatosian Heuristics

Cigdem Gencer
Unifiability in extensions of K4.3

Charalampos Cornaros
Bounded Arithmetic in the Usual First-Order Setting

Chrysida Galanaki and Elias Tsigaridas
Quantifier elimination for small degree polynomials

Dimiter Vakarelov and Vladislav Nenchev
An axiomatization of Dynamic Ontology of Stable and Unstable Mereological Relations

Elia Zardini
First-Order Tolerant Logics

Evgenios Hadjisoteriou and Antonis Kakas
Argumentation and Temporal Persistence

Ewa Graczynska
M-Hyperquasi-identities of finite algebras

Geert Vernaeve
A tableau method for a calculus with partially defined terms

George Koletsos and Nikolaos Rigas
An induction principle for an infinitary functional system

Giulio Manzonetto and Antonino Salibra
Lattices of Equational Theories as Church Algebras

Jan Pavlik
Varieties Defined without Colimits

Joao Marcos
On Inconsistent-Tolerant Logics that Minimally Deviate from the Classical Standard

Lamprini Kalantzi and Eugenie Foustoucos
k-ary Queries over Trees via k-ary Datalog

Luca Spada
Some consequences of compactness in Lukasiewicz Predicate Logic

Paul Spirakis and Yannis Stamatiou
Kolmogorov complexity arguments in propositional logic

Penelope Economou
Second Order Modal Logic Over Modally Definable Subsets

Petros Stefaneas and Razvan Diaconescu
On Institutions and their methodological implications

Piotr Wojciechowski
Single structures generating quasivarieties of MV- and GMV- algebras

Ramaz Liparteliani
MVm algebras with closure operators

Revaz Grigolia and Tatiana Kiseliova
Bimodal Logic LinTGrz and Symmetric Godel Logic G2 have Finitary Unification Type

Ricardo Wehbe
Analytical Cuts in Propositional Linear-Time Temporal Logic

Roman Kuznets
A Note on the Use of Sum in the Logic of Proofs

Sebastian Sequoiah-Grayson
Non-commuting residuation models with process exclusion

Sergei Tupailo
Consistency of Strictly Impredicative NF

Stavros Vassos, Sebastian Sardina and Hector Levesque
Progressing Basic Action Theories with Non-Local Effect Actions

Tamás Mihálydeák
On Tarskian models of general type-theoretical languages

Valentin Goranko and Ruaan Kellerman
Classes and Theories of Trees Associated with a Class of Linear Orderings

Vladimir Lobovikov
Mathematical Logic as a Particular Case of Mathematical Ethics
(Algebra of Formal Ethics as a Generalization of Algebra of Formal Logic)

Vladimir Lobovikov
Modal Logic and Formal Axiology of Alethic and Epistemic Modalities

Wagner de Campos Sanz and Thomas Piecha
Inversion and the Admissibility of Logical Rules

Wojciech Zielonka
The directional Lambek calculus

Yutaka Miyazaki
The variety of proximity algebras of finite diameter is locally finite