Logo Logo

Open Access Journal

  • About Journal
  • Aims and scope
  • Editorial Board
  • For Authors
  • Special Issues
  • History
  • Contact
  • Statistics
  • Deklaracja dostępności


Issues:
Search In print
JAMCM
Vol. 24, 2025
Issue 1 Issue 2
Vol. 23, 2024
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 22, 2023
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 21, 2022
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 20, 2021
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 19, 2020
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 18, 2019
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 17, 2018
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 16, 2017
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 15, 2016
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 14, 2015
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 13, 2014
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 12, 2013
Issue 1 Issue 2 Issue 3 Issue 4
SRIMCS
Vol. 11, 2012
Issue 1 Issue 2 Issue 3 Issue 4
Vol. 10, 2011
Issue 1 Issue 2
Vol. 9, 2010
Issue 1 Issue 2
Vol. 8, 2009
Issue 1 Issue 2
Vol. 7, 2008
Issue 1 Issue 2
Vol. 6, 2007
Issue 1
Vol. 5, 2006
Issue 1
Vol. 4, 2005
Issue 1
Vol. 3, 2004
Issue 1
Vol. 2, 2003
Issue 1
Vol. 1, 2002
Issue 1
Article

A categorical model of predicate linear logic



Emilia Demeterová

,

Daniel Mihályi

,

Valerie Novitzká


Journal of Applied Mathematics and Computational Mechanics
Year 2015, Volume 14, Issue 1, Pages 27-42
DOI: 10.17512/jamcm.2015.1.03

PDF
Download
Full Text
CITE
Export
citation
Citation style:
  • BibTex
  • RIS
  • APA
  • Harvard
  • IEEE
  • MLA
  • Vancouver
  • Chicago
@article{Demeterová_2015,
   doi = {10.17512/jamcm.2015.1.03},
   url = {https://doi.org/10.17512/jamcm.2015.1.03},
   year = 2015,
   publisher = {The Publishing Office of Czestochowa University of Technology},
   volume = {14},
   number = {1},
   pages = {27--42},
   author = {Emilia Demeterová and  Daniel Mihályi and  Valerie Novitzká},
   title = {A categorical model of predicate linear logic},
   journal = {Journal of Applied Mathematics and Computational Mechanics}
}
TY  - JOUR
DO  - 10.17512/jamcm.2015.1.03
UR  - https://doi.org/10.17512/jamcm.2015.1.03
TI  - A categorical model of predicate linear logic
T2  - Journal of Applied Mathematics and Computational Mechanics
JA  - J Appl Math Comput Mech
AU  - Demeterová, Emilia
AU  - Mihályi, Daniel
AU  - Novitzká, Valerie
PY  - 2015
PB  - The Publishing Office of Czestochowa University of Technology
SP  - 27
EP  - 42
IS  - 1
VL  - 14
SN  - 2299-9965
SN  - 2353-0588
ER  - 
Demeterová, E., Mihályi, D., & Novitzká, V. (2015). A categorical model of predicate linear logic. Journal of Applied Mathematics and Computational Mechanics, 14(1), 27-42. doi:10.17512/jamcm.2015.1.03
Demeterová, E., Mihályi, D. & Novitzká, V., 2015. A categorical model of predicate linear logic. Journal of Applied Mathematics and Computational Mechanics, 14(1), pp.27-42. Available at: https://doi.org/10.17512/jamcm.2015.1.03
[1]E. Demeterová, D. Mihályi and V. Novitzká, "A categorical model of predicate linear logic," Journal of Applied Mathematics and Computational Mechanics, vol. 14, no. 1, pp. 27-42, 2015.
Demeterová, Emilia, Daniel Mihályi, and Valerie Novitzká. "A categorical model of predicate linear logic." Journal of Applied Mathematics and Computational Mechanics 14.1 (2015): 27-42. CrossRef. Web.
1. Demeterová E, Mihályi D, Novitzká V. A categorical model of predicate linear logic. Journal of Applied Mathematics and Computational Mechanics. The Publishing Office of Czestochowa University of Technology; 2015;14(1):27-42. Available from: https://doi.org/10.17512/jamcm.2015.1.03
Demeterová, Emilia, Daniel Mihályi, and Valerie Novitzká. "A categorical model of predicate linear logic." Journal of Applied Mathematics and Computational Mechanics 14, no. 1 (2015): 27-42. doi:10.17512/jamcm.2015.1.03


Journal of Applied Mathematics and Computational Mechanics
p-ISSN: 2299-9965, e-ISSN: 2353-0588
Editorial address: Department of Mathematics, Czestochowa University of Technology, Armii Krajowej 21, 42-200 Częstochowa, Poland
E-mail: jamcm@pcz.pl