Open Access

Formalized Mathematics

Volume 20 (2012): Issue 3 (September 2012)

Download Cover

Previous Issue

Next Issue

8 Articles

Sort By

Transition of Consistency and Satisfiability under Language Extensions

and

Open Access | Feb 02, 2013

The Gödel Completeness Theorem for Uncountable Languages

and

Open Access | Feb 02, 2013

Quotient Module of Z-module

and

Open Access | Feb 02, 2013

The Derivations of Temporal Logic Formulas

Mariusz Giero

Giero, Mariusz

Open Access | Feb 02, 2013

The Properties of Sets of Temporal Logic Subformulas

Mariusz Giero

Giero, Mariusz

Open Access | Feb 02, 2013

Weak Completeness Theorem for Propositional Linear Time Temporal Logic

Mariusz Giero

Giero, Mariusz

Open Access | Feb 02, 2013

The Friendship Theorem

Karol Pąk

Pąk, Karol

Open Access | Feb 02, 2013

Free Term Algebras

Grzegorz Bancerek

Bancerek, Grzegorz

Search

All Volumes and Issues in this Journal

Volume 32 (2024)

Issue 1 (August 2024)

Volume 31 (2023)

Issue 1 (September 2023)

Volume 30 (2022)

Volume 29 (2021)

Volume 28 (2020)

Volume 27 (2019)

Volume 26 (2018)

Volume 25 (2017)

Volume 24 (2016)

Volume 23 (2015)

Volume 22 (2014)

Volume 21 (2013)

Volume 20 (2012)

Volume 19 (2011)

Volume 18 (2010)

Volume 17 (2009)

Volume 16 (2008)

Volume 15 (2007)

Volume 14 (2006)

Language:: English

Publication timeframe:: 1 times per year
Journal Subjects:: Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other

Journal RSS Feed