ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Logic Journal of the IGPL
container_mwzmwwmscfe4vnzrjlt5itd2ju
Oxford University Press
Homepage URLs
http://jigpal.oxfordjournals.org/ |
http://jigpal.oxfordjournals.org/content/early/2015/07/13/jigpal.jzv021.full |
https://web.archive.org/web/20170602211935/https://academic.oup.com/jigpal/issue |
Example Publications
Cyclic proofs for the first-order µ-calculus
Bahareh Afshari, Sebastian Enqvist, Graham E Leigh
2022
|
Logic Journal of the IGPL
doi:10.1093/jigpal/jzac053
Restriction in Program Algebra
Marcel Jackson, Tim Stokes
2022
|
Logic Journal of the IGPL
doi:10.1093/jigpal/jzac058
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4
Gemma Robles, José M Méndez
2022
|
Logic Journal of the IGPL
doi:10.1093/jigpal/jzac045
Entity alignment via summary and attribute embeddings
Rumana Ferdous Munne, Ryutaro Ichise
2022
|
Logic Journal of the IGPL
doi:10.1093/jigpal/jzac021